:-['tools.pro','globalConstraints.pro','pairwisegenerator.pro' ].
:-use_module(library(atts)). 
:- attribute ftAttr/2 , lstAttr/1.
verify_attributes(Var, Other, Goals).
a(usecases,usecases,[null,1,2]).
a(usecases,classdiagram,[and,0,2]).
a(usecases,checkpreviousbestscore,[null,1,3]).
a(usecases,savescore,[null,1,3]).
a(usecases,savegame,[null,1,3]).
a(usecases,exitgame,[null,1,3]).
a(usecases,installgame,[null,1,3]).
a(usecases,uninstallgame,[null,1,3]).
a(usecases,listgame,[null,1,3]).
a(usecases,playgame,[null,1,3]).
a(usecases,playbrickles,[null,1,4]).
a(usecases,playpong,[null,1,4]).
a(usecases,playbowling,[null,1,4]).
a(usecases,initialization,[null,1,4]).
a(usecases,animationloop,[null,1,5]).
a(usecases,gamesprite,[and,0,3]).
a(usecases,board,[and,0,3]).
a(usecases,menu,[and,0,3]).
a(usecases,gamemenu,[and,0,3]).
a(usecases,pucksupply,[and,0,3]).
a(usecases,spritepair,[and,0,4]).
a(usecases,rectangle,[and,0,4]).
a(usecases,movablesprite,[and,0,4]).
a(usecases,stationarysprite,[and,0,4]).
a(usecases,size,[and,0,5]).
a(usecases,point,[and,0,5]).
a(usecases,velocity,[and,0,5]).
a(usecases,paddle,[and,0,5]).
a(usecases,puck,[and,0,5]).
a(usecases,bowlingball,[and,0,5]).
a(usecases,bowlingpin,[and,0,5]).
a(usecases,toppaddle,[and,0,6]).
a(usecases,bottompaddle,[and,0,6]).
a(usecases,wall,[and,0,5]).
a(usecases,brick,[and,0,5]).
a(usecases,brickpile,[and,0,5]).
a(usecases,ceilingbrickles,[and,0,5]).
a(usecases,floorbrickles,[and,0,5]).
a(usecases,lane,[and,0,5]).
a(usecases,gutter,[and,0,5]).
a(usecases,edge,[and,0,5]).
a(usecases,endofalley,[and,0,5]).
a(usecases,rackofpins,[and,0,5]).
a(usecases,scoreboard,[and,0,5]).
a(usecases,floorpong,[and,0,5]).
a(usecases,ceilingpong,[and,0,5]).
a(usecases,dividingline,[and,0,5]).
a(usecases,leftpong,[and,0,6]).
a(usecases,rightpont,[and,0,6]).
a(usecases,leftbrickles,[and,0,6]).
a(usecases,rightbrickles,[and,0,6]).
a(usecases,pongboard,[and,0,4]).
a(usecases,bricklesboard,[and,0,4]).
a(usecases,bowlingboard,[and,0,4]).
a(usecases,pong,[and,0,4]).
a(usecases,brickles,[and,0,4]).
a(usecases,bowling,[and,0,4]).
a(usecases,ponggamemenu,[and,0,4]).
a(usecases,bricklesgamemenu,[and,0,4]).
a(usecases,bowlinggamemenu,[and,0,4]).
a(usecases,arcadegame,[and,0,1]).
a(classdiagram,usecases,[and,0,2]).
a(classdiagram,classdiagram,[null,1,2]).
a(classdiagram,checkpreviousbestscore,[and,0,3]).
a(classdiagram,savescore,[and,0,3]).
a(classdiagram,savegame,[and,0,3]).
a(classdiagram,exitgame,[and,0,3]).
a(classdiagram,installgame,[and,0,3]).
a(classdiagram,uninstallgame,[and,0,3]).
a(classdiagram,listgame,[and,0,3]).
a(classdiagram,playgame,[and,0,3]).
a(classdiagram,playbrickles,[and,0,4]).
a(classdiagram,playpong,[and,0,4]).
a(classdiagram,playbowling,[and,0,4]).
a(classdiagram,initialization,[and,0,4]).
a(classdiagram,animationloop,[and,0,5]).
a(classdiagram,gamesprite,[null,1,3]).
a(classdiagram,board,[null,1,3]).
a(classdiagram,menu,[null,1,3]).
a(classdiagram,gamemenu,[null,1,3]).
a(classdiagram,pucksupply,[null,1,3]).
a(classdiagram,spritepair,[null,1,4]).
a(classdiagram,rectangle,[null,1,4]).
a(classdiagram,movablesprite,[null,1,4]).
a(classdiagram,stationarysprite,[null,1,4]).
a(classdiagram,size,[null,1,5]).
a(classdiagram,point,[null,1,5]).
a(classdiagram,velocity,[null,1,5]).
a(classdiagram,paddle,[null,1,5]).
a(classdiagram,puck,[null,1,5]).
a(classdiagram,bowlingball,[null,1,5]).
a(classdiagram,bowlingpin,[null,1,5]).
a(classdiagram,toppaddle,[null,1,6]).
a(classdiagram,bottompaddle,[null,1,6]).
a(classdiagram,wall,[null,1,5]).
a(classdiagram,brick,[null,1,5]).
a(classdiagram,brickpile,[null,1,5]).
a(classdiagram,ceilingbrickles,[null,1,5]).
a(classdiagram,floorbrickles,[null,1,5]).
a(classdiagram,lane,[null,1,5]).
a(classdiagram,gutter,[null,1,5]).
a(classdiagram,edge,[null,1,5]).
a(classdiagram,endofalley,[null,1,5]).
a(classdiagram,rackofpins,[null,1,5]).
a(classdiagram,scoreboard,[null,1,5]).
a(classdiagram,floorpong,[null,1,5]).
a(classdiagram,ceilingpong,[null,1,5]).
a(classdiagram,dividingline,[null,1,5]).
a(classdiagram,leftpong,[null,1,6]).
a(classdiagram,rightpont,[null,1,6]).
a(classdiagram,leftbrickles,[null,1,6]).
a(classdiagram,rightbrickles,[null,1,6]).
a(classdiagram,pongboard,[null,1,4]).
a(classdiagram,bricklesboard,[null,1,4]).
a(classdiagram,bowlingboard,[null,1,4]).
a(classdiagram,pong,[null,1,4]).
a(classdiagram,brickles,[null,1,4]).
a(classdiagram,bowling,[null,1,4]).
a(classdiagram,ponggamemenu,[null,1,4]).
a(classdiagram,bricklesgamemenu,[null,1,4]).
a(classdiagram,bowlinggamemenu,[null,1,4]).
a(classdiagram,arcadegame,[and,0,1]).
a(checkpreviousbestscore,usecases,[null,1,3]).
a(checkpreviousbestscore,classdiagram,[and,0,3]).
a(checkpreviousbestscore,checkpreviousbestscore,[null,2,4]).
a(checkpreviousbestscore,savescore,[null,1,4]).
a(checkpreviousbestscore,savegame,[null,1,4]).
a(checkpreviousbestscore,exitgame,[null,1,4]).
a(checkpreviousbestscore,installgame,[null,1,4]).
a(checkpreviousbestscore,uninstallgame,[null,1,4]).
a(checkpreviousbestscore,listgame,[null,1,4]).
a(checkpreviousbestscore,playgame,[null,1,4]).
a(checkpreviousbestscore,playbrickles,[null,1,5]).
a(checkpreviousbestscore,playpong,[null,1,5]).
a(checkpreviousbestscore,playbowling,[null,1,5]).
a(checkpreviousbestscore,initialization,[null,1,5]).
a(checkpreviousbestscore,animationloop,[null,1,6]).
a(checkpreviousbestscore,gamesprite,[and,0,4]).
a(checkpreviousbestscore,board,[and,0,4]).
a(checkpreviousbestscore,menu,[and,0,4]).
a(checkpreviousbestscore,gamemenu,[and,0,4]).
a(checkpreviousbestscore,pucksupply,[and,0,4]).
a(checkpreviousbestscore,spritepair,[and,0,5]).
a(checkpreviousbestscore,rectangle,[and,0,5]).
a(checkpreviousbestscore,movablesprite,[and,0,5]).
a(checkpreviousbestscore,stationarysprite,[and,0,5]).
a(checkpreviousbestscore,size,[and,0,6]).
a(checkpreviousbestscore,point,[and,0,6]).
a(checkpreviousbestscore,velocity,[and,0,6]).
a(checkpreviousbestscore,paddle,[and,0,6]).
a(checkpreviousbestscore,puck,[and,0,6]).
a(checkpreviousbestscore,bowlingball,[and,0,6]).
a(checkpreviousbestscore,bowlingpin,[and,0,6]).
a(checkpreviousbestscore,toppaddle,[and,0,7]).
a(checkpreviousbestscore,bottompaddle,[and,0,7]).
a(checkpreviousbestscore,wall,[and,0,6]).
a(checkpreviousbestscore,brick,[and,0,6]).
a(checkpreviousbestscore,brickpile,[and,0,6]).
a(checkpreviousbestscore,ceilingbrickles,[and,0,6]).
a(checkpreviousbestscore,floorbrickles,[and,0,6]).
a(checkpreviousbestscore,lane,[and,0,6]).
a(checkpreviousbestscore,gutter,[and,0,6]).
a(checkpreviousbestscore,edge,[and,0,6]).
a(checkpreviousbestscore,endofalley,[and,0,6]).
a(checkpreviousbestscore,rackofpins,[and,0,6]).
a(checkpreviousbestscore,scoreboard,[and,0,6]).
a(checkpreviousbestscore,floorpong,[and,0,6]).
a(checkpreviousbestscore,ceilingpong,[and,0,6]).
a(checkpreviousbestscore,dividingline,[and,0,6]).
a(checkpreviousbestscore,leftpong,[and,0,7]).
a(checkpreviousbestscore,rightpont,[and,0,7]).
a(checkpreviousbestscore,leftbrickles,[and,0,7]).
a(checkpreviousbestscore,rightbrickles,[and,0,7]).
a(checkpreviousbestscore,pongboard,[and,0,5]).
a(checkpreviousbestscore,bricklesboard,[and,0,5]).
a(checkpreviousbestscore,bowlingboard,[and,0,5]).
a(checkpreviousbestscore,pong,[and,0,5]).
a(checkpreviousbestscore,brickles,[and,0,5]).
a(checkpreviousbestscore,bowling,[and,0,5]).
a(checkpreviousbestscore,ponggamemenu,[and,0,5]).
a(checkpreviousbestscore,bricklesgamemenu,[and,0,5]).
a(checkpreviousbestscore,bowlinggamemenu,[and,0,5]).
a(checkpreviousbestscore,arcadegame,[and,0,2]).
a(savescore,usecases,[null,1,3]).
a(savescore,classdiagram,[and,0,3]).
a(savescore,checkpreviousbestscore,[null,1,4]).
a(savescore,savescore,[null,2,4]).
a(savescore,savegame,[null,1,4]).
a(savescore,exitgame,[null,1,4]).
a(savescore,installgame,[null,1,4]).
a(savescore,uninstallgame,[null,1,4]).
a(savescore,listgame,[null,1,4]).
a(savescore,playgame,[null,1,4]).
a(savescore,playbrickles,[null,1,5]).
a(savescore,playpong,[null,1,5]).
a(savescore,playbowling,[null,1,5]).
a(savescore,initialization,[null,1,5]).
a(savescore,animationloop,[null,1,6]).
a(savescore,gamesprite,[and,0,4]).
a(savescore,board,[and,0,4]).
a(savescore,menu,[and,0,4]).
a(savescore,gamemenu,[and,0,4]).
a(savescore,pucksupply,[and,0,4]).
a(savescore,spritepair,[and,0,5]).
a(savescore,rectangle,[and,0,5]).
a(savescore,movablesprite,[and,0,5]).
a(savescore,stationarysprite,[and,0,5]).
a(savescore,size,[and,0,6]).
a(savescore,point,[and,0,6]).
a(savescore,velocity,[and,0,6]).
a(savescore,paddle,[and,0,6]).
a(savescore,puck,[and,0,6]).
a(savescore,bowlingball,[and,0,6]).
a(savescore,bowlingpin,[and,0,6]).
a(savescore,toppaddle,[and,0,7]).
a(savescore,bottompaddle,[and,0,7]).
a(savescore,wall,[and,0,6]).
a(savescore,brick,[and,0,6]).
a(savescore,brickpile,[and,0,6]).
a(savescore,ceilingbrickles,[and,0,6]).
a(savescore,floorbrickles,[and,0,6]).
a(savescore,lane,[and,0,6]).
a(savescore,gutter,[and,0,6]).
a(savescore,edge,[and,0,6]).
a(savescore,endofalley,[and,0,6]).
a(savescore,rackofpins,[and,0,6]).
a(savescore,scoreboard,[and,0,6]).
a(savescore,floorpong,[and,0,6]).
a(savescore,ceilingpong,[and,0,6]).
a(savescore,dividingline,[and,0,6]).
a(savescore,leftpong,[and,0,7]).
a(savescore,rightpont,[and,0,7]).
a(savescore,leftbrickles,[and,0,7]).
a(savescore,rightbrickles,[and,0,7]).
a(savescore,pongboard,[and,0,5]).
a(savescore,bricklesboard,[and,0,5]).
a(savescore,bowlingboard,[and,0,5]).
a(savescore,pong,[and,0,5]).
a(savescore,brickles,[and,0,5]).
a(savescore,bowling,[and,0,5]).
a(savescore,ponggamemenu,[and,0,5]).
a(savescore,bricklesgamemenu,[and,0,5]).
a(savescore,bowlinggamemenu,[and,0,5]).
a(savescore,arcadegame,[and,0,2]).
a(savegame,usecases,[null,1,3]).
a(savegame,classdiagram,[and,0,3]).
a(savegame,checkpreviousbestscore,[null,1,4]).
a(savegame,savescore,[null,1,4]).
a(savegame,savegame,[null,2,4]).
a(savegame,exitgame,[null,1,4]).
a(savegame,installgame,[null,1,4]).
a(savegame,uninstallgame,[null,1,4]).
a(savegame,listgame,[null,1,4]).
a(savegame,playgame,[null,1,4]).
a(savegame,playbrickles,[null,1,5]).
a(savegame,playpong,[null,1,5]).
a(savegame,playbowling,[null,1,5]).
a(savegame,initialization,[null,1,5]).
a(savegame,animationloop,[null,1,6]).
a(savegame,gamesprite,[and,0,4]).
a(savegame,board,[and,0,4]).
a(savegame,menu,[and,0,4]).
a(savegame,gamemenu,[and,0,4]).
a(savegame,pucksupply,[and,0,4]).
a(savegame,spritepair,[and,0,5]).
a(savegame,rectangle,[and,0,5]).
a(savegame,movablesprite,[and,0,5]).
a(savegame,stationarysprite,[and,0,5]).
a(savegame,size,[and,0,6]).
a(savegame,point,[and,0,6]).
a(savegame,velocity,[and,0,6]).
a(savegame,paddle,[and,0,6]).
a(savegame,puck,[and,0,6]).
a(savegame,bowlingball,[and,0,6]).
a(savegame,bowlingpin,[and,0,6]).
a(savegame,toppaddle,[and,0,7]).
a(savegame,bottompaddle,[and,0,7]).
a(savegame,wall,[and,0,6]).
a(savegame,brick,[and,0,6]).
a(savegame,brickpile,[and,0,6]).
a(savegame,ceilingbrickles,[and,0,6]).
a(savegame,floorbrickles,[and,0,6]).
a(savegame,lane,[and,0,6]).
a(savegame,gutter,[and,0,6]).
a(savegame,edge,[and,0,6]).
a(savegame,endofalley,[and,0,6]).
a(savegame,rackofpins,[and,0,6]).
a(savegame,scoreboard,[and,0,6]).
a(savegame,floorpong,[and,0,6]).
a(savegame,ceilingpong,[and,0,6]).
a(savegame,dividingline,[and,0,6]).
a(savegame,leftpong,[and,0,7]).
a(savegame,rightpont,[and,0,7]).
a(savegame,leftbrickles,[and,0,7]).
a(savegame,rightbrickles,[and,0,7]).
a(savegame,pongboard,[and,0,5]).
a(savegame,bricklesboard,[and,0,5]).
a(savegame,bowlingboard,[and,0,5]).
a(savegame,pong,[and,0,5]).
a(savegame,brickles,[and,0,5]).
a(savegame,bowling,[and,0,5]).
a(savegame,ponggamemenu,[and,0,5]).
a(savegame,bricklesgamemenu,[and,0,5]).
a(savegame,bowlinggamemenu,[and,0,5]).
a(savegame,arcadegame,[and,0,2]).
a(exitgame,usecases,[null,1,3]).
a(exitgame,classdiagram,[and,0,3]).
a(exitgame,checkpreviousbestscore,[null,1,4]).
a(exitgame,savescore,[null,1,4]).
a(exitgame,savegame,[null,1,4]).
a(exitgame,exitgame,[null,2,4]).
a(exitgame,installgame,[null,1,4]).
a(exitgame,uninstallgame,[null,1,4]).
a(exitgame,listgame,[null,1,4]).
a(exitgame,playgame,[null,1,4]).
a(exitgame,playbrickles,[null,1,5]).
a(exitgame,playpong,[null,1,5]).
a(exitgame,playbowling,[null,1,5]).
a(exitgame,initialization,[null,1,5]).
a(exitgame,animationloop,[null,1,6]).
a(exitgame,gamesprite,[and,0,4]).
a(exitgame,board,[and,0,4]).
a(exitgame,menu,[and,0,4]).
a(exitgame,gamemenu,[and,0,4]).
a(exitgame,pucksupply,[and,0,4]).
a(exitgame,spritepair,[and,0,5]).
a(exitgame,rectangle,[and,0,5]).
a(exitgame,movablesprite,[and,0,5]).
a(exitgame,stationarysprite,[and,0,5]).
a(exitgame,size,[and,0,6]).
a(exitgame,point,[and,0,6]).
a(exitgame,velocity,[and,0,6]).
a(exitgame,paddle,[and,0,6]).
a(exitgame,puck,[and,0,6]).
a(exitgame,bowlingball,[and,0,6]).
a(exitgame,bowlingpin,[and,0,6]).
a(exitgame,toppaddle,[and,0,7]).
a(exitgame,bottompaddle,[and,0,7]).
a(exitgame,wall,[and,0,6]).
a(exitgame,brick,[and,0,6]).
a(exitgame,brickpile,[and,0,6]).
a(exitgame,ceilingbrickles,[and,0,6]).
a(exitgame,floorbrickles,[and,0,6]).
a(exitgame,lane,[and,0,6]).
a(exitgame,gutter,[and,0,6]).
a(exitgame,edge,[and,0,6]).
a(exitgame,endofalley,[and,0,6]).
a(exitgame,rackofpins,[and,0,6]).
a(exitgame,scoreboard,[and,0,6]).
a(exitgame,floorpong,[and,0,6]).
a(exitgame,ceilingpong,[and,0,6]).
a(exitgame,dividingline,[and,0,6]).
a(exitgame,leftpong,[and,0,7]).
a(exitgame,rightpont,[and,0,7]).
a(exitgame,leftbrickles,[and,0,7]).
a(exitgame,rightbrickles,[and,0,7]).
a(exitgame,pongboard,[and,0,5]).
a(exitgame,bricklesboard,[and,0,5]).
a(exitgame,bowlingboard,[and,0,5]).
a(exitgame,pong,[and,0,5]).
a(exitgame,brickles,[and,0,5]).
a(exitgame,bowling,[and,0,5]).
a(exitgame,ponggamemenu,[and,0,5]).
a(exitgame,bricklesgamemenu,[and,0,5]).
a(exitgame,bowlinggamemenu,[and,0,5]).
a(exitgame,arcadegame,[and,0,2]).
a(installgame,usecases,[null,1,3]).
a(installgame,classdiagram,[and,0,3]).
a(installgame,checkpreviousbestscore,[null,1,4]).
a(installgame,savescore,[null,1,4]).
a(installgame,savegame,[null,1,4]).
a(installgame,exitgame,[null,1,4]).
a(installgame,installgame,[null,2,4]).
a(installgame,uninstallgame,[null,1,4]).
a(installgame,listgame,[null,1,4]).
a(installgame,playgame,[null,1,4]).
a(installgame,playbrickles,[null,1,5]).
a(installgame,playpong,[null,1,5]).
a(installgame,playbowling,[null,1,5]).
a(installgame,initialization,[null,1,5]).
a(installgame,animationloop,[null,1,6]).
a(installgame,gamesprite,[and,0,4]).
a(installgame,board,[and,0,4]).
a(installgame,menu,[and,0,4]).
a(installgame,gamemenu,[and,0,4]).
a(installgame,pucksupply,[and,0,4]).
a(installgame,spritepair,[and,0,5]).
a(installgame,rectangle,[and,0,5]).
a(installgame,movablesprite,[and,0,5]).
a(installgame,stationarysprite,[and,0,5]).
a(installgame,size,[and,0,6]).
a(installgame,point,[and,0,6]).
a(installgame,velocity,[and,0,6]).
a(installgame,paddle,[and,0,6]).
a(installgame,puck,[and,0,6]).
a(installgame,bowlingball,[and,0,6]).
a(installgame,bowlingpin,[and,0,6]).
a(installgame,toppaddle,[and,0,7]).
a(installgame,bottompaddle,[and,0,7]).
a(installgame,wall,[and,0,6]).
a(installgame,brick,[and,0,6]).
a(installgame,brickpile,[and,0,6]).
a(installgame,ceilingbrickles,[and,0,6]).
a(installgame,floorbrickles,[and,0,6]).
a(installgame,lane,[and,0,6]).
a(installgame,gutter,[and,0,6]).
a(installgame,edge,[and,0,6]).
a(installgame,endofalley,[and,0,6]).
a(installgame,rackofpins,[and,0,6]).
a(installgame,scoreboard,[and,0,6]).
a(installgame,floorpong,[and,0,6]).
a(installgame,ceilingpong,[and,0,6]).
a(installgame,dividingline,[and,0,6]).
a(installgame,leftpong,[and,0,7]).
a(installgame,rightpont,[and,0,7]).
a(installgame,leftbrickles,[and,0,7]).
a(installgame,rightbrickles,[and,0,7]).
a(installgame,pongboard,[and,0,5]).
a(installgame,bricklesboard,[and,0,5]).
a(installgame,bowlingboard,[and,0,5]).
a(installgame,pong,[and,0,5]).
a(installgame,brickles,[and,0,5]).
a(installgame,bowling,[and,0,5]).
a(installgame,ponggamemenu,[and,0,5]).
a(installgame,bricklesgamemenu,[and,0,5]).
a(installgame,bowlinggamemenu,[and,0,5]).
a(installgame,arcadegame,[and,0,2]).
a(uninstallgame,usecases,[null,1,3]).
a(uninstallgame,classdiagram,[and,0,3]).
a(uninstallgame,checkpreviousbestscore,[null,1,4]).
a(uninstallgame,savescore,[null,1,4]).
a(uninstallgame,savegame,[null,1,4]).
a(uninstallgame,exitgame,[null,1,4]).
a(uninstallgame,installgame,[null,1,4]).
a(uninstallgame,uninstallgame,[null,2,4]).
a(uninstallgame,listgame,[null,1,4]).
a(uninstallgame,playgame,[null,1,4]).
a(uninstallgame,playbrickles,[null,1,5]).
a(uninstallgame,playpong,[null,1,5]).
a(uninstallgame,playbowling,[null,1,5]).
a(uninstallgame,initialization,[null,1,5]).
a(uninstallgame,animationloop,[null,1,6]).
a(uninstallgame,gamesprite,[and,0,4]).
a(uninstallgame,board,[and,0,4]).
a(uninstallgame,menu,[and,0,4]).
a(uninstallgame,gamemenu,[and,0,4]).
a(uninstallgame,pucksupply,[and,0,4]).
a(uninstallgame,spritepair,[and,0,5]).
a(uninstallgame,rectangle,[and,0,5]).
a(uninstallgame,movablesprite,[and,0,5]).
a(uninstallgame,stationarysprite,[and,0,5]).
a(uninstallgame,size,[and,0,6]).
a(uninstallgame,point,[and,0,6]).
a(uninstallgame,velocity,[and,0,6]).
a(uninstallgame,paddle,[and,0,6]).
a(uninstallgame,puck,[and,0,6]).
a(uninstallgame,bowlingball,[and,0,6]).
a(uninstallgame,bowlingpin,[and,0,6]).
a(uninstallgame,toppaddle,[and,0,7]).
a(uninstallgame,bottompaddle,[and,0,7]).
a(uninstallgame,wall,[and,0,6]).
a(uninstallgame,brick,[and,0,6]).
a(uninstallgame,brickpile,[and,0,6]).
a(uninstallgame,ceilingbrickles,[and,0,6]).
a(uninstallgame,floorbrickles,[and,0,6]).
a(uninstallgame,lane,[and,0,6]).
a(uninstallgame,gutter,[and,0,6]).
a(uninstallgame,edge,[and,0,6]).
a(uninstallgame,endofalley,[and,0,6]).
a(uninstallgame,rackofpins,[and,0,6]).
a(uninstallgame,scoreboard,[and,0,6]).
a(uninstallgame,floorpong,[and,0,6]).
a(uninstallgame,ceilingpong,[and,0,6]).
a(uninstallgame,dividingline,[and,0,6]).
a(uninstallgame,leftpong,[and,0,7]).
a(uninstallgame,rightpont,[and,0,7]).
a(uninstallgame,leftbrickles,[and,0,7]).
a(uninstallgame,rightbrickles,[and,0,7]).
a(uninstallgame,pongboard,[and,0,5]).
a(uninstallgame,bricklesboard,[and,0,5]).
a(uninstallgame,bowlingboard,[and,0,5]).
a(uninstallgame,pong,[and,0,5]).
a(uninstallgame,brickles,[and,0,5]).
a(uninstallgame,bowling,[and,0,5]).
a(uninstallgame,ponggamemenu,[and,0,5]).
a(uninstallgame,bricklesgamemenu,[and,0,5]).
a(uninstallgame,bowlinggamemenu,[and,0,5]).
a(uninstallgame,arcadegame,[and,0,2]).
a(listgame,usecases,[null,1,3]).
a(listgame,classdiagram,[and,0,3]).
a(listgame,checkpreviousbestscore,[null,1,4]).
a(listgame,savescore,[null,1,4]).
a(listgame,savegame,[null,1,4]).
a(listgame,exitgame,[null,1,4]).
a(listgame,installgame,[null,1,4]).
a(listgame,uninstallgame,[null,1,4]).
a(listgame,listgame,[null,2,4]).
a(listgame,playgame,[null,1,4]).
a(listgame,playbrickles,[null,1,5]).
a(listgame,playpong,[null,1,5]).
a(listgame,playbowling,[null,1,5]).
a(listgame,initialization,[null,1,5]).
a(listgame,animationloop,[null,1,6]).
a(listgame,gamesprite,[and,0,4]).
a(listgame,board,[and,0,4]).
a(listgame,menu,[and,0,4]).
a(listgame,gamemenu,[and,0,4]).
a(listgame,pucksupply,[and,0,4]).
a(listgame,spritepair,[and,0,5]).
a(listgame,rectangle,[and,0,5]).
a(listgame,movablesprite,[and,0,5]).
a(listgame,stationarysprite,[and,0,5]).
a(listgame,size,[and,0,6]).
a(listgame,point,[and,0,6]).
a(listgame,velocity,[and,0,6]).
a(listgame,paddle,[and,0,6]).
a(listgame,puck,[and,0,6]).
a(listgame,bowlingball,[and,0,6]).
a(listgame,bowlingpin,[and,0,6]).
a(listgame,toppaddle,[and,0,7]).
a(listgame,bottompaddle,[and,0,7]).
a(listgame,wall,[and,0,6]).
a(listgame,brick,[and,0,6]).
a(listgame,brickpile,[and,0,6]).
a(listgame,ceilingbrickles,[and,0,6]).
a(listgame,floorbrickles,[and,0,6]).
a(listgame,lane,[and,0,6]).
a(listgame,gutter,[and,0,6]).
a(listgame,edge,[and,0,6]).
a(listgame,endofalley,[and,0,6]).
a(listgame,rackofpins,[and,0,6]).
a(listgame,scoreboard,[and,0,6]).
a(listgame,floorpong,[and,0,6]).
a(listgame,ceilingpong,[and,0,6]).
a(listgame,dividingline,[and,0,6]).
a(listgame,leftpong,[and,0,7]).
a(listgame,rightpont,[and,0,7]).
a(listgame,leftbrickles,[and,0,7]).
a(listgame,rightbrickles,[and,0,7]).
a(listgame,pongboard,[and,0,5]).
a(listgame,bricklesboard,[and,0,5]).
a(listgame,bowlingboard,[and,0,5]).
a(listgame,pong,[and,0,5]).
a(listgame,brickles,[and,0,5]).
a(listgame,bowling,[and,0,5]).
a(listgame,ponggamemenu,[and,0,5]).
a(listgame,bricklesgamemenu,[and,0,5]).
a(listgame,bowlinggamemenu,[and,0,5]).
a(listgame,arcadegame,[and,0,2]).
a(playgame,usecases,[null,1,3]).
a(playgame,classdiagram,[and,0,3]).
a(playgame,checkpreviousbestscore,[null,1,4]).
a(playgame,savescore,[null,1,4]).
a(playgame,savegame,[null,1,4]).
a(playgame,exitgame,[null,1,4]).
a(playgame,installgame,[null,1,4]).
a(playgame,uninstallgame,[null,1,4]).
a(playgame,listgame,[null,1,4]).
a(playgame,playgame,[null,2,4]).
a(playgame,playbrickles,[null,2,5]).
a(playgame,playpong,[null,2,5]).
a(playgame,playbowling,[null,2,5]).
a(playgame,initialization,[null,2,5]).
a(playgame,animationloop,[null,2,6]).
a(playgame,gamesprite,[and,0,4]).
a(playgame,board,[and,0,4]).
a(playgame,menu,[and,0,4]).
a(playgame,gamemenu,[and,0,4]).
a(playgame,pucksupply,[and,0,4]).
a(playgame,spritepair,[and,0,5]).
a(playgame,rectangle,[and,0,5]).
a(playgame,movablesprite,[and,0,5]).
a(playgame,stationarysprite,[and,0,5]).
a(playgame,size,[and,0,6]).
a(playgame,point,[and,0,6]).
a(playgame,velocity,[and,0,6]).
a(playgame,paddle,[and,0,6]).
a(playgame,puck,[and,0,6]).
a(playgame,bowlingball,[and,0,6]).
a(playgame,bowlingpin,[and,0,6]).
a(playgame,toppaddle,[and,0,7]).
a(playgame,bottompaddle,[and,0,7]).
a(playgame,wall,[and,0,6]).
a(playgame,brick,[and,0,6]).
a(playgame,brickpile,[and,0,6]).
a(playgame,ceilingbrickles,[and,0,6]).
a(playgame,floorbrickles,[and,0,6]).
a(playgame,lane,[and,0,6]).
a(playgame,gutter,[and,0,6]).
a(playgame,edge,[and,0,6]).
a(playgame,endofalley,[and,0,6]).
a(playgame,rackofpins,[and,0,6]).
a(playgame,scoreboard,[and,0,6]).
a(playgame,floorpong,[and,0,6]).
a(playgame,ceilingpong,[and,0,6]).
a(playgame,dividingline,[and,0,6]).
a(playgame,leftpong,[and,0,7]).
a(playgame,rightpont,[and,0,7]).
a(playgame,leftbrickles,[and,0,7]).
a(playgame,rightbrickles,[and,0,7]).
a(playgame,pongboard,[and,0,5]).
a(playgame,bricklesboard,[and,0,5]).
a(playgame,bowlingboard,[and,0,5]).
a(playgame,pong,[and,0,5]).
a(playgame,brickles,[and,0,5]).
a(playgame,bowling,[and,0,5]).
a(playgame,ponggamemenu,[and,0,5]).
a(playgame,bricklesgamemenu,[and,0,5]).
a(playgame,bowlinggamemenu,[and,0,5]).
a(playgame,arcadegame,[and,0,2]).
a(playbrickles,usecases,[null,1,4]).
a(playbrickles,classdiagram,[and,0,4]).
a(playbrickles,checkpreviousbestscore,[null,1,5]).
a(playbrickles,savescore,[null,1,5]).
a(playbrickles,savegame,[null,1,5]).
a(playbrickles,exitgame,[null,1,5]).
a(playbrickles,installgame,[null,1,5]).
a(playbrickles,uninstallgame,[null,1,5]).
a(playbrickles,listgame,[null,1,5]).
a(playbrickles,playgame,[null,2,5]).
a(playbrickles,playbrickles,[null,3,6]).
a(playbrickles,playpong,[null,2,6]).
a(playbrickles,playbowling,[null,2,6]).
a(playbrickles,initialization,[null,2,6]).
a(playbrickles,animationloop,[null,2,7]).
a(playbrickles,gamesprite,[and,0,5]).
a(playbrickles,board,[and,0,5]).
a(playbrickles,menu,[and,0,5]).
a(playbrickles,gamemenu,[and,0,5]).
a(playbrickles,pucksupply,[and,0,5]).
a(playbrickles,spritepair,[and,0,6]).
a(playbrickles,rectangle,[and,0,6]).
a(playbrickles,movablesprite,[and,0,6]).
a(playbrickles,stationarysprite,[and,0,6]).
a(playbrickles,size,[and,0,7]).
a(playbrickles,point,[and,0,7]).
a(playbrickles,velocity,[and,0,7]).
a(playbrickles,paddle,[and,0,7]).
a(playbrickles,puck,[and,0,7]).
a(playbrickles,bowlingball,[and,0,7]).
a(playbrickles,bowlingpin,[and,0,7]).
a(playbrickles,toppaddle,[and,0,8]).
a(playbrickles,bottompaddle,[and,0,8]).
a(playbrickles,wall,[and,0,7]).
a(playbrickles,brick,[and,0,7]).
a(playbrickles,brickpile,[and,0,7]).
a(playbrickles,ceilingbrickles,[and,0,7]).
a(playbrickles,floorbrickles,[and,0,7]).
a(playbrickles,lane,[and,0,7]).
a(playbrickles,gutter,[and,0,7]).
a(playbrickles,edge,[and,0,7]).
a(playbrickles,endofalley,[and,0,7]).
a(playbrickles,rackofpins,[and,0,7]).
a(playbrickles,scoreboard,[and,0,7]).
a(playbrickles,floorpong,[and,0,7]).
a(playbrickles,ceilingpong,[and,0,7]).
a(playbrickles,dividingline,[and,0,7]).
a(playbrickles,leftpong,[and,0,8]).
a(playbrickles,rightpont,[and,0,8]).
a(playbrickles,leftbrickles,[and,0,8]).
a(playbrickles,rightbrickles,[and,0,8]).
a(playbrickles,pongboard,[and,0,6]).
a(playbrickles,bricklesboard,[and,0,6]).
a(playbrickles,bowlingboard,[and,0,6]).
a(playbrickles,pong,[and,0,6]).
a(playbrickles,brickles,[and,0,6]).
a(playbrickles,bowling,[and,0,6]).
a(playbrickles,ponggamemenu,[and,0,6]).
a(playbrickles,bricklesgamemenu,[and,0,6]).
a(playbrickles,bowlinggamemenu,[and,0,6]).
a(playbrickles,arcadegame,[and,0,3]).
a(playpong,usecases,[null,1,4]).
a(playpong,classdiagram,[and,0,4]).
a(playpong,checkpreviousbestscore,[null,1,5]).
a(playpong,savescore,[null,1,5]).
a(playpong,savegame,[null,1,5]).
a(playpong,exitgame,[null,1,5]).
a(playpong,installgame,[null,1,5]).
a(playpong,uninstallgame,[null,1,5]).
a(playpong,listgame,[null,1,5]).
a(playpong,playgame,[null,2,5]).
a(playpong,playbrickles,[null,2,6]).
a(playpong,playpong,[null,3,6]).
a(playpong,playbowling,[null,2,6]).
a(playpong,initialization,[null,2,6]).
a(playpong,animationloop,[null,2,7]).
a(playpong,gamesprite,[and,0,5]).
a(playpong,board,[and,0,5]).
a(playpong,menu,[and,0,5]).
a(playpong,gamemenu,[and,0,5]).
a(playpong,pucksupply,[and,0,5]).
a(playpong,spritepair,[and,0,6]).
a(playpong,rectangle,[and,0,6]).
a(playpong,movablesprite,[and,0,6]).
a(playpong,stationarysprite,[and,0,6]).
a(playpong,size,[and,0,7]).
a(playpong,point,[and,0,7]).
a(playpong,velocity,[and,0,7]).
a(playpong,paddle,[and,0,7]).
a(playpong,puck,[and,0,7]).
a(playpong,bowlingball,[and,0,7]).
a(playpong,bowlingpin,[and,0,7]).
a(playpong,toppaddle,[and,0,8]).
a(playpong,bottompaddle,[and,0,8]).
a(playpong,wall,[and,0,7]).
a(playpong,brick,[and,0,7]).
a(playpong,brickpile,[and,0,7]).
a(playpong,ceilingbrickles,[and,0,7]).
a(playpong,floorbrickles,[and,0,7]).
a(playpong,lane,[and,0,7]).
a(playpong,gutter,[and,0,7]).
a(playpong,edge,[and,0,7]).
a(playpong,endofalley,[and,0,7]).
a(playpong,rackofpins,[and,0,7]).
a(playpong,scoreboard,[and,0,7]).
a(playpong,floorpong,[and,0,7]).
a(playpong,ceilingpong,[and,0,7]).
a(playpong,dividingline,[and,0,7]).
a(playpong,leftpong,[and,0,8]).
a(playpong,rightpont,[and,0,8]).
a(playpong,leftbrickles,[and,0,8]).
a(playpong,rightbrickles,[and,0,8]).
a(playpong,pongboard,[and,0,6]).
a(playpong,bricklesboard,[and,0,6]).
a(playpong,bowlingboard,[and,0,6]).
a(playpong,pong,[and,0,6]).
a(playpong,brickles,[and,0,6]).
a(playpong,bowling,[and,0,6]).
a(playpong,ponggamemenu,[and,0,6]).
a(playpong,bricklesgamemenu,[and,0,6]).
a(playpong,bowlinggamemenu,[and,0,6]).
a(playpong,arcadegame,[and,0,3]).
a(playbowling,usecases,[null,1,4]).
a(playbowling,classdiagram,[and,0,4]).
a(playbowling,checkpreviousbestscore,[null,1,5]).
a(playbowling,savescore,[null,1,5]).
a(playbowling,savegame,[null,1,5]).
a(playbowling,exitgame,[null,1,5]).
a(playbowling,installgame,[null,1,5]).
a(playbowling,uninstallgame,[null,1,5]).
a(playbowling,listgame,[null,1,5]).
a(playbowling,playgame,[null,2,5]).
a(playbowling,playbrickles,[null,2,6]).
a(playbowling,playpong,[null,2,6]).
a(playbowling,playbowling,[null,3,6]).
a(playbowling,initialization,[null,2,6]).
a(playbowling,animationloop,[null,2,7]).
a(playbowling,gamesprite,[and,0,5]).
a(playbowling,board,[and,0,5]).
a(playbowling,menu,[and,0,5]).
a(playbowling,gamemenu,[and,0,5]).
a(playbowling,pucksupply,[and,0,5]).
a(playbowling,spritepair,[and,0,6]).
a(playbowling,rectangle,[and,0,6]).
a(playbowling,movablesprite,[and,0,6]).
a(playbowling,stationarysprite,[and,0,6]).
a(playbowling,size,[and,0,7]).
a(playbowling,point,[and,0,7]).
a(playbowling,velocity,[and,0,7]).
a(playbowling,paddle,[and,0,7]).
a(playbowling,puck,[and,0,7]).
a(playbowling,bowlingball,[and,0,7]).
a(playbowling,bowlingpin,[and,0,7]).
a(playbowling,toppaddle,[and,0,8]).
a(playbowling,bottompaddle,[and,0,8]).
a(playbowling,wall,[and,0,7]).
a(playbowling,brick,[and,0,7]).
a(playbowling,brickpile,[and,0,7]).
a(playbowling,ceilingbrickles,[and,0,7]).
a(playbowling,floorbrickles,[and,0,7]).
a(playbowling,lane,[and,0,7]).
a(playbowling,gutter,[and,0,7]).
a(playbowling,edge,[and,0,7]).
a(playbowling,endofalley,[and,0,7]).
a(playbowling,rackofpins,[and,0,7]).
a(playbowling,scoreboard,[and,0,7]).
a(playbowling,floorpong,[and,0,7]).
a(playbowling,ceilingpong,[and,0,7]).
a(playbowling,dividingline,[and,0,7]).
a(playbowling,leftpong,[and,0,8]).
a(playbowling,rightpont,[and,0,8]).
a(playbowling,leftbrickles,[and,0,8]).
a(playbowling,rightbrickles,[and,0,8]).
a(playbowling,pongboard,[and,0,6]).
a(playbowling,bricklesboard,[and,0,6]).
a(playbowling,bowlingboard,[and,0,6]).
a(playbowling,pong,[and,0,6]).
a(playbowling,brickles,[and,0,6]).
a(playbowling,bowling,[and,0,6]).
a(playbowling,ponggamemenu,[and,0,6]).
a(playbowling,bricklesgamemenu,[and,0,6]).
a(playbowling,bowlinggamemenu,[and,0,6]).
a(playbowling,arcadegame,[and,0,3]).
a(initialization,usecases,[null,1,4]).
a(initialization,classdiagram,[and,0,4]).
a(initialization,checkpreviousbestscore,[null,1,5]).
a(initialization,savescore,[null,1,5]).
a(initialization,savegame,[null,1,5]).
a(initialization,exitgame,[null,1,5]).
a(initialization,installgame,[null,1,5]).
a(initialization,uninstallgame,[null,1,5]).
a(initialization,listgame,[null,1,5]).
a(initialization,playgame,[null,2,5]).
a(initialization,playbrickles,[null,2,6]).
a(initialization,playpong,[null,2,6]).
a(initialization,playbowling,[null,2,6]).
a(initialization,initialization,[and,3,6]).
a(initialization,animationloop,[and,3,7]).
a(initialization,gamesprite,[and,0,5]).
a(initialization,board,[and,0,5]).
a(initialization,menu,[and,0,5]).
a(initialization,gamemenu,[and,0,5]).
a(initialization,pucksupply,[and,0,5]).
a(initialization,spritepair,[and,0,6]).
a(initialization,rectangle,[and,0,6]).
a(initialization,movablesprite,[and,0,6]).
a(initialization,stationarysprite,[and,0,6]).
a(initialization,size,[and,0,7]).
a(initialization,point,[and,0,7]).
a(initialization,velocity,[and,0,7]).
a(initialization,paddle,[and,0,7]).
a(initialization,puck,[and,0,7]).
a(initialization,bowlingball,[and,0,7]).
a(initialization,bowlingpin,[and,0,7]).
a(initialization,toppaddle,[and,0,8]).
a(initialization,bottompaddle,[and,0,8]).
a(initialization,wall,[and,0,7]).
a(initialization,brick,[and,0,7]).
a(initialization,brickpile,[and,0,7]).
a(initialization,ceilingbrickles,[and,0,7]).
a(initialization,floorbrickles,[and,0,7]).
a(initialization,lane,[and,0,7]).
a(initialization,gutter,[and,0,7]).
a(initialization,edge,[and,0,7]).
a(initialization,endofalley,[and,0,7]).
a(initialization,rackofpins,[and,0,7]).
a(initialization,scoreboard,[and,0,7]).
a(initialization,floorpong,[and,0,7]).
a(initialization,ceilingpong,[and,0,7]).
a(initialization,dividingline,[and,0,7]).
a(initialization,leftpong,[and,0,8]).
a(initialization,rightpont,[and,0,8]).
a(initialization,leftbrickles,[and,0,8]).
a(initialization,rightbrickles,[and,0,8]).
a(initialization,pongboard,[and,0,6]).
a(initialization,bricklesboard,[and,0,6]).
a(initialization,bowlingboard,[and,0,6]).
a(initialization,pong,[and,0,6]).
a(initialization,brickles,[and,0,6]).
a(initialization,bowling,[and,0,6]).
a(initialization,ponggamemenu,[and,0,6]).
a(initialization,bricklesgamemenu,[and,0,6]).
a(initialization,bowlinggamemenu,[and,0,6]).
a(initialization,arcadegame,[and,0,3]).
a(animationloop,usecases,[null,1,5]).
a(animationloop,classdiagram,[and,0,5]).
a(animationloop,checkpreviousbestscore,[null,1,6]).
a(animationloop,savescore,[null,1,6]).
a(animationloop,savegame,[null,1,6]).
a(animationloop,exitgame,[null,1,6]).
a(animationloop,installgame,[null,1,6]).
a(animationloop,uninstallgame,[null,1,6]).
a(animationloop,listgame,[null,1,6]).
a(animationloop,playgame,[null,2,6]).
a(animationloop,playbrickles,[null,2,7]).
a(animationloop,playpong,[null,2,7]).
a(animationloop,playbowling,[null,2,7]).
a(animationloop,initialization,[and,3,7]).
a(animationloop,animationloop,[null,4,8]).
a(animationloop,gamesprite,[and,0,6]).
a(animationloop,board,[and,0,6]).
a(animationloop,menu,[and,0,6]).
a(animationloop,gamemenu,[and,0,6]).
a(animationloop,pucksupply,[and,0,6]).
a(animationloop,spritepair,[and,0,7]).
a(animationloop,rectangle,[and,0,7]).
a(animationloop,movablesprite,[and,0,7]).
a(animationloop,stationarysprite,[and,0,7]).
a(animationloop,size,[and,0,8]).
a(animationloop,point,[and,0,8]).
a(animationloop,velocity,[and,0,8]).
a(animationloop,paddle,[and,0,8]).
a(animationloop,puck,[and,0,8]).
a(animationloop,bowlingball,[and,0,8]).
a(animationloop,bowlingpin,[and,0,8]).
a(animationloop,toppaddle,[and,0,9]).
a(animationloop,bottompaddle,[and,0,9]).
a(animationloop,wall,[and,0,8]).
a(animationloop,brick,[and,0,8]).
a(animationloop,brickpile,[and,0,8]).
a(animationloop,ceilingbrickles,[and,0,8]).
a(animationloop,floorbrickles,[and,0,8]).
a(animationloop,lane,[and,0,8]).
a(animationloop,gutter,[and,0,8]).
a(animationloop,edge,[and,0,8]).
a(animationloop,endofalley,[and,0,8]).
a(animationloop,rackofpins,[and,0,8]).
a(animationloop,scoreboard,[and,0,8]).
a(animationloop,floorpong,[and,0,8]).
a(animationloop,ceilingpong,[and,0,8]).
a(animationloop,dividingline,[and,0,8]).
a(animationloop,leftpong,[and,0,9]).
a(animationloop,rightpont,[and,0,9]).
a(animationloop,leftbrickles,[and,0,9]).
a(animationloop,rightbrickles,[and,0,9]).
a(animationloop,pongboard,[and,0,7]).
a(animationloop,bricklesboard,[and,0,7]).
a(animationloop,bowlingboard,[and,0,7]).
a(animationloop,pong,[and,0,7]).
a(animationloop,brickles,[and,0,7]).
a(animationloop,bowling,[and,0,7]).
a(animationloop,ponggamemenu,[and,0,7]).
a(animationloop,bricklesgamemenu,[and,0,7]).
a(animationloop,bowlinggamemenu,[and,0,7]).
a(animationloop,arcadegame,[and,0,4]).
a(gamesprite,usecases,[and,0,3]).
a(gamesprite,classdiagram,[null,1,3]).
a(gamesprite,checkpreviousbestscore,[and,0,4]).
a(gamesprite,savescore,[and,0,4]).
a(gamesprite,savegame,[and,0,4]).
a(gamesprite,exitgame,[and,0,4]).
a(gamesprite,installgame,[and,0,4]).
a(gamesprite,uninstallgame,[and,0,4]).
a(gamesprite,listgame,[and,0,4]).
a(gamesprite,playgame,[and,0,4]).
a(gamesprite,playbrickles,[and,0,5]).
a(gamesprite,playpong,[and,0,5]).
a(gamesprite,playbowling,[and,0,5]).
a(gamesprite,initialization,[and,0,5]).
a(gamesprite,animationloop,[and,0,6]).
a(gamesprite,gamesprite,[null,2,4]).
a(gamesprite,board,[null,1,4]).
a(gamesprite,menu,[null,1,4]).
a(gamesprite,gamemenu,[null,1,4]).
a(gamesprite,pucksupply,[null,1,4]).
a(gamesprite,spritepair,[null,2,5]).
a(gamesprite,rectangle,[null,2,5]).
a(gamesprite,movablesprite,[null,2,5]).
a(gamesprite,stationarysprite,[null,2,5]).
a(gamesprite,size,[null,2,6]).
a(gamesprite,point,[null,2,6]).
a(gamesprite,velocity,[null,2,6]).
a(gamesprite,paddle,[null,2,6]).
a(gamesprite,puck,[null,2,6]).
a(gamesprite,bowlingball,[null,2,6]).
a(gamesprite,bowlingpin,[null,2,6]).
a(gamesprite,toppaddle,[null,2,7]).
a(gamesprite,bottompaddle,[null,2,7]).
a(gamesprite,wall,[null,2,6]).
a(gamesprite,brick,[null,2,6]).
a(gamesprite,brickpile,[null,2,6]).
a(gamesprite,ceilingbrickles,[null,2,6]).
a(gamesprite,floorbrickles,[null,2,6]).
a(gamesprite,lane,[null,2,6]).
a(gamesprite,gutter,[null,2,6]).
a(gamesprite,edge,[null,2,6]).
a(gamesprite,endofalley,[null,2,6]).
a(gamesprite,rackofpins,[null,2,6]).
a(gamesprite,scoreboard,[null,2,6]).
a(gamesprite,floorpong,[null,2,6]).
a(gamesprite,ceilingpong,[null,2,6]).
a(gamesprite,dividingline,[null,2,6]).
a(gamesprite,leftpong,[null,2,7]).
a(gamesprite,rightpont,[null,2,7]).
a(gamesprite,leftbrickles,[null,2,7]).
a(gamesprite,rightbrickles,[null,2,7]).
a(gamesprite,pongboard,[null,1,5]).
a(gamesprite,bricklesboard,[null,1,5]).
a(gamesprite,bowlingboard,[null,1,5]).
a(gamesprite,pong,[null,1,5]).
a(gamesprite,brickles,[null,1,5]).
a(gamesprite,bowling,[null,1,5]).
a(gamesprite,ponggamemenu,[null,1,5]).
a(gamesprite,bricklesgamemenu,[null,1,5]).
a(gamesprite,bowlinggamemenu,[null,1,5]).
a(gamesprite,arcadegame,[and,0,2]).
a(board,usecases,[and,0,3]).
a(board,classdiagram,[null,1,3]).
a(board,checkpreviousbestscore,[and,0,4]).
a(board,savescore,[and,0,4]).
a(board,savegame,[and,0,4]).
a(board,exitgame,[and,0,4]).
a(board,installgame,[and,0,4]).
a(board,uninstallgame,[and,0,4]).
a(board,listgame,[and,0,4]).
a(board,playgame,[and,0,4]).
a(board,playbrickles,[and,0,5]).
a(board,playpong,[and,0,5]).
a(board,playbowling,[and,0,5]).
a(board,initialization,[and,0,5]).
a(board,animationloop,[and,0,6]).
a(board,gamesprite,[null,1,4]).
a(board,board,[or,2,4]).
a(board,menu,[null,1,4]).
a(board,gamemenu,[null,1,4]).
a(board,pucksupply,[null,1,4]).
a(board,spritepair,[null,1,5]).
a(board,rectangle,[null,1,5]).
a(board,movablesprite,[null,1,5]).
a(board,stationarysprite,[null,1,5]).
a(board,size,[null,1,6]).
a(board,point,[null,1,6]).
a(board,velocity,[null,1,6]).
a(board,paddle,[null,1,6]).
a(board,puck,[null,1,6]).
a(board,bowlingball,[null,1,6]).
a(board,bowlingpin,[null,1,6]).
a(board,toppaddle,[null,1,7]).
a(board,bottompaddle,[null,1,7]).
a(board,wall,[null,1,6]).
a(board,brick,[null,1,6]).
a(board,brickpile,[null,1,6]).
a(board,ceilingbrickles,[null,1,6]).
a(board,floorbrickles,[null,1,6]).
a(board,lane,[null,1,6]).
a(board,gutter,[null,1,6]).
a(board,edge,[null,1,6]).
a(board,endofalley,[null,1,6]).
a(board,rackofpins,[null,1,6]).
a(board,scoreboard,[null,1,6]).
a(board,floorpong,[null,1,6]).
a(board,ceilingpong,[null,1,6]).
a(board,dividingline,[null,1,6]).
a(board,leftpong,[null,1,7]).
a(board,rightpont,[null,1,7]).
a(board,leftbrickles,[null,1,7]).
a(board,rightbrickles,[null,1,7]).
a(board,pongboard,[or,2,5]).
a(board,bricklesboard,[or,2,5]).
a(board,bowlingboard,[or,2,5]).
a(board,pong,[null,1,5]).
a(board,brickles,[null,1,5]).
a(board,bowling,[null,1,5]).
a(board,ponggamemenu,[null,1,5]).
a(board,bricklesgamemenu,[null,1,5]).
a(board,bowlinggamemenu,[null,1,5]).
a(board,arcadegame,[and,0,2]).
a(menu,usecases,[and,0,3]).
a(menu,classdiagram,[null,1,3]).
a(menu,checkpreviousbestscore,[and,0,4]).
a(menu,savescore,[and,0,4]).
a(menu,savegame,[and,0,4]).
a(menu,exitgame,[and,0,4]).
a(menu,installgame,[and,0,4]).
a(menu,uninstallgame,[and,0,4]).
a(menu,listgame,[and,0,4]).
a(menu,playgame,[and,0,4]).
a(menu,playbrickles,[and,0,5]).
a(menu,playpong,[and,0,5]).
a(menu,playbowling,[and,0,5]).
a(menu,initialization,[and,0,5]).
a(menu,animationloop,[and,0,6]).
a(menu,gamesprite,[null,1,4]).
a(menu,board,[null,1,4]).
a(menu,menu,[or,2,4]).
a(menu,gamemenu,[null,1,4]).
a(menu,pucksupply,[null,1,4]).
a(menu,spritepair,[null,1,5]).
a(menu,rectangle,[null,1,5]).
a(menu,movablesprite,[null,1,5]).
a(menu,stationarysprite,[null,1,5]).
a(menu,size,[null,1,6]).
a(menu,point,[null,1,6]).
a(menu,velocity,[null,1,6]).
a(menu,paddle,[null,1,6]).
a(menu,puck,[null,1,6]).
a(menu,bowlingball,[null,1,6]).
a(menu,bowlingpin,[null,1,6]).
a(menu,toppaddle,[null,1,7]).
a(menu,bottompaddle,[null,1,7]).
a(menu,wall,[null,1,6]).
a(menu,brick,[null,1,6]).
a(menu,brickpile,[null,1,6]).
a(menu,ceilingbrickles,[null,1,6]).
a(menu,floorbrickles,[null,1,6]).
a(menu,lane,[null,1,6]).
a(menu,gutter,[null,1,6]).
a(menu,edge,[null,1,6]).
a(menu,endofalley,[null,1,6]).
a(menu,rackofpins,[null,1,6]).
a(menu,scoreboard,[null,1,6]).
a(menu,floorpong,[null,1,6]).
a(menu,ceilingpong,[null,1,6]).
a(menu,dividingline,[null,1,6]).
a(menu,leftpong,[null,1,7]).
a(menu,rightpont,[null,1,7]).
a(menu,leftbrickles,[null,1,7]).
a(menu,rightbrickles,[null,1,7]).
a(menu,pongboard,[null,1,5]).
a(menu,bricklesboard,[null,1,5]).
a(menu,bowlingboard,[null,1,5]).
a(menu,pong,[or,2,5]).
a(menu,brickles,[or,2,5]).
a(menu,bowling,[or,2,5]).
a(menu,ponggamemenu,[null,1,5]).
a(menu,bricklesgamemenu,[null,1,5]).
a(menu,bowlinggamemenu,[null,1,5]).
a(menu,arcadegame,[and,0,2]).
a(gamemenu,usecases,[and,0,3]).
a(gamemenu,classdiagram,[null,1,3]).
a(gamemenu,checkpreviousbestscore,[and,0,4]).
a(gamemenu,savescore,[and,0,4]).
a(gamemenu,savegame,[and,0,4]).
a(gamemenu,exitgame,[and,0,4]).
a(gamemenu,installgame,[and,0,4]).
a(gamemenu,uninstallgame,[and,0,4]).
a(gamemenu,listgame,[and,0,4]).
a(gamemenu,playgame,[and,0,4]).
a(gamemenu,playbrickles,[and,0,5]).
a(gamemenu,playpong,[and,0,5]).
a(gamemenu,playbowling,[and,0,5]).
a(gamemenu,initialization,[and,0,5]).
a(gamemenu,animationloop,[and,0,6]).
a(gamemenu,gamesprite,[null,1,4]).
a(gamemenu,board,[null,1,4]).
a(gamemenu,menu,[null,1,4]).
a(gamemenu,gamemenu,[or,2,4]).
a(gamemenu,pucksupply,[null,1,4]).
a(gamemenu,spritepair,[null,1,5]).
a(gamemenu,rectangle,[null,1,5]).
a(gamemenu,movablesprite,[null,1,5]).
a(gamemenu,stationarysprite,[null,1,5]).
a(gamemenu,size,[null,1,6]).
a(gamemenu,point,[null,1,6]).
a(gamemenu,velocity,[null,1,6]).
a(gamemenu,paddle,[null,1,6]).
a(gamemenu,puck,[null,1,6]).
a(gamemenu,bowlingball,[null,1,6]).
a(gamemenu,bowlingpin,[null,1,6]).
a(gamemenu,toppaddle,[null,1,7]).
a(gamemenu,bottompaddle,[null,1,7]).
a(gamemenu,wall,[null,1,6]).
a(gamemenu,brick,[null,1,6]).
a(gamemenu,brickpile,[null,1,6]).
a(gamemenu,ceilingbrickles,[null,1,6]).
a(gamemenu,floorbrickles,[null,1,6]).
a(gamemenu,lane,[null,1,6]).
a(gamemenu,gutter,[null,1,6]).
a(gamemenu,edge,[null,1,6]).
a(gamemenu,endofalley,[null,1,6]).
a(gamemenu,rackofpins,[null,1,6]).
a(gamemenu,scoreboard,[null,1,6]).
a(gamemenu,floorpong,[null,1,6]).
a(gamemenu,ceilingpong,[null,1,6]).
a(gamemenu,dividingline,[null,1,6]).
a(gamemenu,leftpong,[null,1,7]).
a(gamemenu,rightpont,[null,1,7]).
a(gamemenu,leftbrickles,[null,1,7]).
a(gamemenu,rightbrickles,[null,1,7]).
a(gamemenu,pongboard,[null,1,5]).
a(gamemenu,bricklesboard,[null,1,5]).
a(gamemenu,bowlingboard,[null,1,5]).
a(gamemenu,pong,[null,1,5]).
a(gamemenu,brickles,[null,1,5]).
a(gamemenu,bowling,[null,1,5]).
a(gamemenu,ponggamemenu,[or,2,5]).
a(gamemenu,bricklesgamemenu,[or,2,5]).
a(gamemenu,bowlinggamemenu,[or,2,5]).
a(gamemenu,arcadegame,[and,0,2]).
a(pucksupply,usecases,[and,0,3]).
a(pucksupply,classdiagram,[null,1,3]).
a(pucksupply,checkpreviousbestscore,[and,0,4]).
a(pucksupply,savescore,[and,0,4]).
a(pucksupply,savegame,[and,0,4]).
a(pucksupply,exitgame,[and,0,4]).
a(pucksupply,installgame,[and,0,4]).
a(pucksupply,uninstallgame,[and,0,4]).
a(pucksupply,listgame,[and,0,4]).
a(pucksupply,playgame,[and,0,4]).
a(pucksupply,playbrickles,[and,0,5]).
a(pucksupply,playpong,[and,0,5]).
a(pucksupply,playbowling,[and,0,5]).
a(pucksupply,initialization,[and,0,5]).
a(pucksupply,animationloop,[and,0,6]).
a(pucksupply,gamesprite,[null,1,4]).
a(pucksupply,board,[null,1,4]).
a(pucksupply,menu,[null,1,4]).
a(pucksupply,gamemenu,[null,1,4]).
a(pucksupply,pucksupply,[null,2,4]).
a(pucksupply,spritepair,[null,1,5]).
a(pucksupply,rectangle,[null,1,5]).
a(pucksupply,movablesprite,[null,1,5]).
a(pucksupply,stationarysprite,[null,1,5]).
a(pucksupply,size,[null,1,6]).
a(pucksupply,point,[null,1,6]).
a(pucksupply,velocity,[null,1,6]).
a(pucksupply,paddle,[null,1,6]).
a(pucksupply,puck,[null,1,6]).
a(pucksupply,bowlingball,[null,1,6]).
a(pucksupply,bowlingpin,[null,1,6]).
a(pucksupply,toppaddle,[null,1,7]).
a(pucksupply,bottompaddle,[null,1,7]).
a(pucksupply,wall,[null,1,6]).
a(pucksupply,brick,[null,1,6]).
a(pucksupply,brickpile,[null,1,6]).
a(pucksupply,ceilingbrickles,[null,1,6]).
a(pucksupply,floorbrickles,[null,1,6]).
a(pucksupply,lane,[null,1,6]).
a(pucksupply,gutter,[null,1,6]).
a(pucksupply,edge,[null,1,6]).
a(pucksupply,endofalley,[null,1,6]).
a(pucksupply,rackofpins,[null,1,6]).
a(pucksupply,scoreboard,[null,1,6]).
a(pucksupply,floorpong,[null,1,6]).
a(pucksupply,ceilingpong,[null,1,6]).
a(pucksupply,dividingline,[null,1,6]).
a(pucksupply,leftpong,[null,1,7]).
a(pucksupply,rightpont,[null,1,7]).
a(pucksupply,leftbrickles,[null,1,7]).
a(pucksupply,rightbrickles,[null,1,7]).
a(pucksupply,pongboard,[null,1,5]).
a(pucksupply,bricklesboard,[null,1,5]).
a(pucksupply,bowlingboard,[null,1,5]).
a(pucksupply,pong,[null,1,5]).
a(pucksupply,brickles,[null,1,5]).
a(pucksupply,bowling,[null,1,5]).
a(pucksupply,ponggamemenu,[null,1,5]).
a(pucksupply,bricklesgamemenu,[null,1,5]).
a(pucksupply,bowlinggamemenu,[null,1,5]).
a(pucksupply,arcadegame,[and,0,2]).
a(spritepair,usecases,[and,0,4]).
a(spritepair,classdiagram,[null,1,4]).
a(spritepair,checkpreviousbestscore,[and,0,5]).
a(spritepair,savescore,[and,0,5]).
a(spritepair,savegame,[and,0,5]).
a(spritepair,exitgame,[and,0,5]).
a(spritepair,installgame,[and,0,5]).
a(spritepair,uninstallgame,[and,0,5]).
a(spritepair,listgame,[and,0,5]).
a(spritepair,playgame,[and,0,5]).
a(spritepair,playbrickles,[and,0,6]).
a(spritepair,playpong,[and,0,6]).
a(spritepair,playbowling,[and,0,6]).
a(spritepair,initialization,[and,0,6]).
a(spritepair,animationloop,[and,0,7]).
a(spritepair,gamesprite,[null,2,5]).
a(spritepair,board,[null,1,5]).
a(spritepair,menu,[null,1,5]).
a(spritepair,gamemenu,[null,1,5]).
a(spritepair,pucksupply,[null,1,5]).
a(spritepair,spritepair,[null,3,6]).
a(spritepair,rectangle,[null,2,6]).
a(spritepair,movablesprite,[null,2,6]).
a(spritepair,stationarysprite,[null,2,6]).
a(spritepair,size,[null,2,7]).
a(spritepair,point,[null,2,7]).
a(spritepair,velocity,[null,2,7]).
a(spritepair,paddle,[null,2,7]).
a(spritepair,puck,[null,2,7]).
a(spritepair,bowlingball,[null,2,7]).
a(spritepair,bowlingpin,[null,2,7]).
a(spritepair,toppaddle,[null,2,8]).
a(spritepair,bottompaddle,[null,2,8]).
a(spritepair,wall,[null,2,7]).
a(spritepair,brick,[null,2,7]).
a(spritepair,brickpile,[null,2,7]).
a(spritepair,ceilingbrickles,[null,2,7]).
a(spritepair,floorbrickles,[null,2,7]).
a(spritepair,lane,[null,2,7]).
a(spritepair,gutter,[null,2,7]).
a(spritepair,edge,[null,2,7]).
a(spritepair,endofalley,[null,2,7]).
a(spritepair,rackofpins,[null,2,7]).
a(spritepair,scoreboard,[null,2,7]).
a(spritepair,floorpong,[null,2,7]).
a(spritepair,ceilingpong,[null,2,7]).
a(spritepair,dividingline,[null,2,7]).
a(spritepair,leftpong,[null,2,8]).
a(spritepair,rightpont,[null,2,8]).
a(spritepair,leftbrickles,[null,2,8]).
a(spritepair,rightbrickles,[null,2,8]).
a(spritepair,pongboard,[and,1,6]).
a(spritepair,bricklesboard,[and,1,6]).
a(spritepair,bowlingboard,[and,1,6]).
a(spritepair,pong,[and,1,6]).
a(spritepair,brickles,[and,1,6]).
a(spritepair,bowling,[and,1,6]).
a(spritepair,ponggamemenu,[and,1,6]).
a(spritepair,bricklesgamemenu,[and,1,6]).
a(spritepair,bowlinggamemenu,[and,1,6]).
a(spritepair,arcadegame,[and,0,3]).
a(rectangle,usecases,[and,0,4]).
a(rectangle,classdiagram,[null,1,4]).
a(rectangle,checkpreviousbestscore,[and,0,5]).
a(rectangle,savescore,[and,0,5]).
a(rectangle,savegame,[and,0,5]).
a(rectangle,exitgame,[and,0,5]).
a(rectangle,installgame,[and,0,5]).
a(rectangle,uninstallgame,[and,0,5]).
a(rectangle,listgame,[and,0,5]).
a(rectangle,playgame,[and,0,5]).
a(rectangle,playbrickles,[and,0,6]).
a(rectangle,playpong,[and,0,6]).
a(rectangle,playbowling,[and,0,6]).
a(rectangle,initialization,[and,0,6]).
a(rectangle,animationloop,[and,0,7]).
a(rectangle,gamesprite,[null,2,5]).
a(rectangle,board,[null,1,5]).
a(rectangle,menu,[null,1,5]).
a(rectangle,gamemenu,[null,1,5]).
a(rectangle,pucksupply,[null,1,5]).
a(rectangle,spritepair,[null,2,6]).
a(rectangle,rectangle,[and,3,6]).
a(rectangle,movablesprite,[null,2,6]).
a(rectangle,stationarysprite,[null,2,6]).
a(rectangle,size,[and,3,7]).
a(rectangle,point,[and,3,7]).
a(rectangle,velocity,[null,2,7]).
a(rectangle,paddle,[null,2,7]).
a(rectangle,puck,[null,2,7]).
a(rectangle,bowlingball,[null,2,7]).
a(rectangle,bowlingpin,[null,2,7]).
a(rectangle,toppaddle,[null,2,8]).
a(rectangle,bottompaddle,[null,2,8]).
a(rectangle,wall,[null,2,7]).
a(rectangle,brick,[null,2,7]).
a(rectangle,brickpile,[null,2,7]).
a(rectangle,ceilingbrickles,[null,2,7]).
a(rectangle,floorbrickles,[null,2,7]).
a(rectangle,lane,[null,2,7]).
a(rectangle,gutter,[null,2,7]).
a(rectangle,edge,[null,2,7]).
a(rectangle,endofalley,[null,2,7]).
a(rectangle,rackofpins,[null,2,7]).
a(rectangle,scoreboard,[null,2,7]).
a(rectangle,floorpong,[null,2,7]).
a(rectangle,ceilingpong,[null,2,7]).
a(rectangle,dividingline,[null,2,7]).
a(rectangle,leftpong,[null,2,8]).
a(rectangle,rightpont,[null,2,8]).
a(rectangle,leftbrickles,[null,2,8]).
a(rectangle,rightbrickles,[null,2,8]).
a(rectangle,pongboard,[and,1,6]).
a(rectangle,bricklesboard,[and,1,6]).
a(rectangle,bowlingboard,[and,1,6]).
a(rectangle,pong,[and,1,6]).
a(rectangle,brickles,[and,1,6]).
a(rectangle,bowling,[and,1,6]).
a(rectangle,ponggamemenu,[and,1,6]).
a(rectangle,bricklesgamemenu,[and,1,6]).
a(rectangle,bowlinggamemenu,[and,1,6]).
a(rectangle,arcadegame,[and,0,3]).
a(movablesprite,usecases,[and,0,4]).
a(movablesprite,classdiagram,[null,1,4]).
a(movablesprite,checkpreviousbestscore,[and,0,5]).
a(movablesprite,savescore,[and,0,5]).
a(movablesprite,savegame,[and,0,5]).
a(movablesprite,exitgame,[and,0,5]).
a(movablesprite,installgame,[and,0,5]).
a(movablesprite,uninstallgame,[and,0,5]).
a(movablesprite,listgame,[and,0,5]).
a(movablesprite,playgame,[and,0,5]).
a(movablesprite,playbrickles,[and,0,6]).
a(movablesprite,playpong,[and,0,6]).
a(movablesprite,playbowling,[and,0,6]).
a(movablesprite,initialization,[and,0,6]).
a(movablesprite,animationloop,[and,0,7]).
a(movablesprite,gamesprite,[null,2,5]).
a(movablesprite,board,[null,1,5]).
a(movablesprite,menu,[null,1,5]).
a(movablesprite,gamemenu,[null,1,5]).
a(movablesprite,pucksupply,[null,1,5]).
a(movablesprite,spritepair,[null,2,6]).
a(movablesprite,rectangle,[null,2,6]).
a(movablesprite,movablesprite,[null,3,6]).
a(movablesprite,stationarysprite,[null,2,6]).
a(movablesprite,size,[null,2,7]).
a(movablesprite,point,[null,2,7]).
a(movablesprite,velocity,[null,3,7]).
a(movablesprite,paddle,[null,3,7]).
a(movablesprite,puck,[null,3,7]).
a(movablesprite,bowlingball,[null,3,7]).
a(movablesprite,bowlingpin,[null,3,7]).
a(movablesprite,toppaddle,[null,3,8]).
a(movablesprite,bottompaddle,[null,3,8]).
a(movablesprite,wall,[null,2,7]).
a(movablesprite,brick,[null,2,7]).
a(movablesprite,brickpile,[null,2,7]).
a(movablesprite,ceilingbrickles,[null,2,7]).
a(movablesprite,floorbrickles,[null,2,7]).
a(movablesprite,lane,[null,2,7]).
a(movablesprite,gutter,[null,2,7]).
a(movablesprite,edge,[null,2,7]).
a(movablesprite,endofalley,[null,2,7]).
a(movablesprite,rackofpins,[null,2,7]).
a(movablesprite,scoreboard,[null,2,7]).
a(movablesprite,floorpong,[null,2,7]).
a(movablesprite,ceilingpong,[null,2,7]).
a(movablesprite,dividingline,[null,2,7]).
a(movablesprite,leftpong,[null,2,8]).
a(movablesprite,rightpont,[null,2,8]).
a(movablesprite,leftbrickles,[null,2,8]).
a(movablesprite,rightbrickles,[null,2,8]).
a(movablesprite,pongboard,[and,1,6]).
a(movablesprite,bricklesboard,[and,1,6]).
a(movablesprite,bowlingboard,[and,1,6]).
a(movablesprite,pong,[and,1,6]).
a(movablesprite,brickles,[and,1,6]).
a(movablesprite,bowling,[and,1,6]).
a(movablesprite,ponggamemenu,[and,1,6]).
a(movablesprite,bricklesgamemenu,[and,1,6]).
a(movablesprite,bowlinggamemenu,[and,1,6]).
a(movablesprite,arcadegame,[and,0,3]).
a(stationarysprite,usecases,[and,0,4]).
a(stationarysprite,classdiagram,[null,1,4]).
a(stationarysprite,checkpreviousbestscore,[and,0,5]).
a(stationarysprite,savescore,[and,0,5]).
a(stationarysprite,savegame,[and,0,5]).
a(stationarysprite,exitgame,[and,0,5]).
a(stationarysprite,installgame,[and,0,5]).
a(stationarysprite,uninstallgame,[and,0,5]).
a(stationarysprite,listgame,[and,0,5]).
a(stationarysprite,playgame,[and,0,5]).
a(stationarysprite,playbrickles,[and,0,6]).
a(stationarysprite,playpong,[and,0,6]).
a(stationarysprite,playbowling,[and,0,6]).
a(stationarysprite,initialization,[and,0,6]).
a(stationarysprite,animationloop,[and,0,7]).
a(stationarysprite,gamesprite,[null,2,5]).
a(stationarysprite,board,[null,1,5]).
a(stationarysprite,menu,[null,1,5]).
a(stationarysprite,gamemenu,[null,1,5]).
a(stationarysprite,pucksupply,[null,1,5]).
a(stationarysprite,spritepair,[null,2,6]).
a(stationarysprite,rectangle,[null,2,6]).
a(stationarysprite,movablesprite,[null,2,6]).
a(stationarysprite,stationarysprite,[null,3,6]).
a(stationarysprite,size,[null,2,7]).
a(stationarysprite,point,[null,2,7]).
a(stationarysprite,velocity,[null,2,7]).
a(stationarysprite,paddle,[null,2,7]).
a(stationarysprite,puck,[null,2,7]).
a(stationarysprite,bowlingball,[null,2,7]).
a(stationarysprite,bowlingpin,[null,2,7]).
a(stationarysprite,toppaddle,[null,2,8]).
a(stationarysprite,bottompaddle,[null,2,8]).
a(stationarysprite,wall,[null,3,7]).
a(stationarysprite,brick,[null,3,7]).
a(stationarysprite,brickpile,[null,3,7]).
a(stationarysprite,ceilingbrickles,[null,3,7]).
a(stationarysprite,floorbrickles,[null,3,7]).
a(stationarysprite,lane,[null,3,7]).
a(stationarysprite,gutter,[null,3,7]).
a(stationarysprite,edge,[null,3,7]).
a(stationarysprite,endofalley,[null,3,7]).
a(stationarysprite,rackofpins,[null,3,7]).
a(stationarysprite,scoreboard,[null,3,7]).
a(stationarysprite,floorpong,[null,3,7]).
a(stationarysprite,ceilingpong,[null,3,7]).
a(stationarysprite,dividingline,[null,3,7]).
a(stationarysprite,leftpong,[null,3,8]).
a(stationarysprite,rightpont,[null,3,8]).
a(stationarysprite,leftbrickles,[null,3,8]).
a(stationarysprite,rightbrickles,[null,3,8]).
a(stationarysprite,pongboard,[and,1,6]).
a(stationarysprite,bricklesboard,[and,1,6]).
a(stationarysprite,bowlingboard,[and,1,6]).
a(stationarysprite,pong,[and,1,6]).
a(stationarysprite,brickles,[and,1,6]).
a(stationarysprite,bowling,[and,1,6]).
a(stationarysprite,ponggamemenu,[and,1,6]).
a(stationarysprite,bricklesgamemenu,[and,1,6]).
a(stationarysprite,bowlinggamemenu,[and,1,6]).
a(stationarysprite,arcadegame,[and,0,3]).
a(size,usecases,[and,0,5]).
a(size,classdiagram,[null,1,5]).
a(size,checkpreviousbestscore,[and,0,6]).
a(size,savescore,[and,0,6]).
a(size,savegame,[and,0,6]).
a(size,exitgame,[and,0,6]).
a(size,installgame,[and,0,6]).
a(size,uninstallgame,[and,0,6]).
a(size,listgame,[and,0,6]).
a(size,playgame,[and,0,6]).
a(size,playbrickles,[and,0,7]).
a(size,playpong,[and,0,7]).
a(size,playbowling,[and,0,7]).
a(size,initialization,[and,0,7]).
a(size,animationloop,[and,0,8]).
a(size,gamesprite,[null,2,6]).
a(size,board,[null,1,6]).
a(size,menu,[null,1,6]).
a(size,gamemenu,[null,1,6]).
a(size,pucksupply,[null,1,6]).
a(size,spritepair,[null,2,7]).
a(size,rectangle,[and,3,7]).
a(size,movablesprite,[null,2,7]).
a(size,stationarysprite,[null,2,7]).
a(size,size,[null,4,8]).
a(size,point,[and,3,8]).
a(size,velocity,[null,2,8]).
a(size,paddle,[null,2,8]).
a(size,puck,[null,2,8]).
a(size,bowlingball,[null,2,8]).
a(size,bowlingpin,[null,2,8]).
a(size,toppaddle,[null,2,9]).
a(size,bottompaddle,[null,2,9]).
a(size,wall,[null,2,8]).
a(size,brick,[null,2,8]).
a(size,brickpile,[null,2,8]).
a(size,ceilingbrickles,[null,2,8]).
a(size,floorbrickles,[null,2,8]).
a(size,lane,[null,2,8]).
a(size,gutter,[null,2,8]).
a(size,edge,[null,2,8]).
a(size,endofalley,[null,2,8]).
a(size,rackofpins,[null,2,8]).
a(size,scoreboard,[null,2,8]).
a(size,floorpong,[null,2,8]).
a(size,ceilingpong,[null,2,8]).
a(size,dividingline,[null,2,8]).
a(size,leftpong,[null,2,9]).
a(size,rightpont,[null,2,9]).
a(size,leftbrickles,[null,2,9]).
a(size,rightbrickles,[null,2,9]).
a(size,pongboard,[and,1,7]).
a(size,bricklesboard,[and,1,7]).
a(size,bowlingboard,[and,1,7]).
a(size,pong,[and,1,7]).
a(size,brickles,[and,1,7]).
a(size,bowling,[and,1,7]).
a(size,ponggamemenu,[and,1,7]).
a(size,bricklesgamemenu,[and,1,7]).
a(size,bowlinggamemenu,[and,1,7]).
a(size,arcadegame,[and,0,4]).
a(point,usecases,[and,0,5]).
a(point,classdiagram,[null,1,5]).
a(point,checkpreviousbestscore,[and,0,6]).
a(point,savescore,[and,0,6]).
a(point,savegame,[and,0,6]).
a(point,exitgame,[and,0,6]).
a(point,installgame,[and,0,6]).
a(point,uninstallgame,[and,0,6]).
a(point,listgame,[and,0,6]).
a(point,playgame,[and,0,6]).
a(point,playbrickles,[and,0,7]).
a(point,playpong,[and,0,7]).
a(point,playbowling,[and,0,7]).
a(point,initialization,[and,0,7]).
a(point,animationloop,[and,0,8]).
a(point,gamesprite,[null,2,6]).
a(point,board,[null,1,6]).
a(point,menu,[null,1,6]).
a(point,gamemenu,[null,1,6]).
a(point,pucksupply,[null,1,6]).
a(point,spritepair,[null,2,7]).
a(point,rectangle,[and,3,7]).
a(point,movablesprite,[null,2,7]).
a(point,stationarysprite,[null,2,7]).
a(point,size,[and,3,8]).
a(point,point,[null,4,8]).
a(point,velocity,[null,2,8]).
a(point,paddle,[null,2,8]).
a(point,puck,[null,2,8]).
a(point,bowlingball,[null,2,8]).
a(point,bowlingpin,[null,2,8]).
a(point,toppaddle,[null,2,9]).
a(point,bottompaddle,[null,2,9]).
a(point,wall,[null,2,8]).
a(point,brick,[null,2,8]).
a(point,brickpile,[null,2,8]).
a(point,ceilingbrickles,[null,2,8]).
a(point,floorbrickles,[null,2,8]).
a(point,lane,[null,2,8]).
a(point,gutter,[null,2,8]).
a(point,edge,[null,2,8]).
a(point,endofalley,[null,2,8]).
a(point,rackofpins,[null,2,8]).
a(point,scoreboard,[null,2,8]).
a(point,floorpong,[null,2,8]).
a(point,ceilingpong,[null,2,8]).
a(point,dividingline,[null,2,8]).
a(point,leftpong,[null,2,9]).
a(point,rightpont,[null,2,9]).
a(point,leftbrickles,[null,2,9]).
a(point,rightbrickles,[null,2,9]).
a(point,pongboard,[and,1,7]).
a(point,bricklesboard,[and,1,7]).
a(point,bowlingboard,[and,1,7]).
a(point,pong,[and,1,7]).
a(point,brickles,[and,1,7]).
a(point,bowling,[and,1,7]).
a(point,ponggamemenu,[and,1,7]).
a(point,bricklesgamemenu,[and,1,7]).
a(point,bowlinggamemenu,[and,1,7]).
a(point,arcadegame,[and,0,4]).
a(velocity,usecases,[and,0,5]).
a(velocity,classdiagram,[null,1,5]).
a(velocity,checkpreviousbestscore,[and,0,6]).
a(velocity,savescore,[and,0,6]).
a(velocity,savegame,[and,0,6]).
a(velocity,exitgame,[and,0,6]).
a(velocity,installgame,[and,0,6]).
a(velocity,uninstallgame,[and,0,6]).
a(velocity,listgame,[and,0,6]).
a(velocity,playgame,[and,0,6]).
a(velocity,playbrickles,[and,0,7]).
a(velocity,playpong,[and,0,7]).
a(velocity,playbowling,[and,0,7]).
a(velocity,initialization,[and,0,7]).
a(velocity,animationloop,[and,0,8]).
a(velocity,gamesprite,[null,2,6]).
a(velocity,board,[null,1,6]).
a(velocity,menu,[null,1,6]).
a(velocity,gamemenu,[null,1,6]).
a(velocity,pucksupply,[null,1,6]).
a(velocity,spritepair,[null,2,7]).
a(velocity,rectangle,[null,2,7]).
a(velocity,movablesprite,[null,3,7]).
a(velocity,stationarysprite,[null,2,7]).
a(velocity,size,[null,2,8]).
a(velocity,point,[null,2,8]).
a(velocity,velocity,[null,4,8]).
a(velocity,paddle,[null,3,8]).
a(velocity,puck,[null,3,8]).
a(velocity,bowlingball,[null,3,8]).
a(velocity,bowlingpin,[null,3,8]).
a(velocity,toppaddle,[null,3,9]).
a(velocity,bottompaddle,[null,3,9]).
a(velocity,wall,[or,2,8]).
a(velocity,brick,[or,2,8]).
a(velocity,brickpile,[or,2,8]).
a(velocity,ceilingbrickles,[or,2,8]).
a(velocity,floorbrickles,[or,2,8]).
a(velocity,lane,[or,2,8]).
a(velocity,gutter,[or,2,8]).
a(velocity,edge,[or,2,8]).
a(velocity,endofalley,[or,2,8]).
a(velocity,rackofpins,[or,2,8]).
a(velocity,scoreboard,[or,2,8]).
a(velocity,floorpong,[or,2,8]).
a(velocity,ceilingpong,[or,2,8]).
a(velocity,dividingline,[or,2,8]).
a(velocity,leftpong,[or,2,9]).
a(velocity,rightpont,[or,2,9]).
a(velocity,leftbrickles,[or,2,9]).
a(velocity,rightbrickles,[or,2,9]).
a(velocity,pongboard,[and,1,7]).
a(velocity,bricklesboard,[and,1,7]).
a(velocity,bowlingboard,[and,1,7]).
a(velocity,pong,[and,1,7]).
a(velocity,brickles,[and,1,7]).
a(velocity,bowling,[and,1,7]).
a(velocity,ponggamemenu,[and,1,7]).
a(velocity,bricklesgamemenu,[and,1,7]).
a(velocity,bowlinggamemenu,[and,1,7]).
a(velocity,arcadegame,[and,0,4]).
a(paddle,usecases,[and,0,5]).
a(paddle,classdiagram,[null,1,5]).
a(paddle,checkpreviousbestscore,[and,0,6]).
a(paddle,savescore,[and,0,6]).
a(paddle,savegame,[and,0,6]).
a(paddle,exitgame,[and,0,6]).
a(paddle,installgame,[and,0,6]).
a(paddle,uninstallgame,[and,0,6]).
a(paddle,listgame,[and,0,6]).
a(paddle,playgame,[and,0,6]).
a(paddle,playbrickles,[and,0,7]).
a(paddle,playpong,[and,0,7]).
a(paddle,playbowling,[and,0,7]).
a(paddle,initialization,[and,0,7]).
a(paddle,animationloop,[and,0,8]).
a(paddle,gamesprite,[null,2,6]).
a(paddle,board,[null,1,6]).
a(paddle,menu,[null,1,6]).
a(paddle,gamemenu,[null,1,6]).
a(paddle,pucksupply,[null,1,6]).
a(paddle,spritepair,[null,2,7]).
a(paddle,rectangle,[null,2,7]).
a(paddle,movablesprite,[null,3,7]).
a(paddle,stationarysprite,[null,2,7]).
a(paddle,size,[null,2,8]).
a(paddle,point,[null,2,8]).
a(paddle,velocity,[null,3,8]).
a(paddle,paddle,[or,4,8]).
a(paddle,puck,[null,3,8]).
a(paddle,bowlingball,[null,3,8]).
a(paddle,bowlingpin,[null,3,8]).
a(paddle,toppaddle,[or,4,9]).
a(paddle,bottompaddle,[or,4,9]).
a(paddle,wall,[or,2,8]).
a(paddle,brick,[or,2,8]).
a(paddle,brickpile,[or,2,8]).
a(paddle,ceilingbrickles,[or,2,8]).
a(paddle,floorbrickles,[or,2,8]).
a(paddle,lane,[or,2,8]).
a(paddle,gutter,[or,2,8]).
a(paddle,edge,[or,2,8]).
a(paddle,endofalley,[or,2,8]).
a(paddle,rackofpins,[or,2,8]).
a(paddle,scoreboard,[or,2,8]).
a(paddle,floorpong,[or,2,8]).
a(paddle,ceilingpong,[or,2,8]).
a(paddle,dividingline,[or,2,8]).
a(paddle,leftpong,[or,2,9]).
a(paddle,rightpont,[or,2,9]).
a(paddle,leftbrickles,[or,2,9]).
a(paddle,rightbrickles,[or,2,9]).
a(paddle,pongboard,[and,1,7]).
a(paddle,bricklesboard,[and,1,7]).
a(paddle,bowlingboard,[and,1,7]).
a(paddle,pong,[and,1,7]).
a(paddle,brickles,[and,1,7]).
a(paddle,bowling,[and,1,7]).
a(paddle,ponggamemenu,[and,1,7]).
a(paddle,bricklesgamemenu,[and,1,7]).
a(paddle,bowlinggamemenu,[and,1,7]).
a(paddle,arcadegame,[and,0,4]).
a(puck,usecases,[and,0,5]).
a(puck,classdiagram,[null,1,5]).
a(puck,checkpreviousbestscore,[and,0,6]).
a(puck,savescore,[and,0,6]).
a(puck,savegame,[and,0,6]).
a(puck,exitgame,[and,0,6]).
a(puck,installgame,[and,0,6]).
a(puck,uninstallgame,[and,0,6]).
a(puck,listgame,[and,0,6]).
a(puck,playgame,[and,0,6]).
a(puck,playbrickles,[and,0,7]).
a(puck,playpong,[and,0,7]).
a(puck,playbowling,[and,0,7]).
a(puck,initialization,[and,0,7]).
a(puck,animationloop,[and,0,8]).
a(puck,gamesprite,[null,2,6]).
a(puck,board,[null,1,6]).
a(puck,menu,[null,1,6]).
a(puck,gamemenu,[null,1,6]).
a(puck,pucksupply,[null,1,6]).
a(puck,spritepair,[null,2,7]).
a(puck,rectangle,[null,2,7]).
a(puck,movablesprite,[null,3,7]).
a(puck,stationarysprite,[null,2,7]).
a(puck,size,[null,2,8]).
a(puck,point,[null,2,8]).
a(puck,velocity,[null,3,8]).
a(puck,paddle,[null,3,8]).
a(puck,puck,[null,4,8]).
a(puck,bowlingball,[null,3,8]).
a(puck,bowlingpin,[null,3,8]).
a(puck,toppaddle,[null,3,9]).
a(puck,bottompaddle,[null,3,9]).
a(puck,wall,[or,2,8]).
a(puck,brick,[or,2,8]).
a(puck,brickpile,[or,2,8]).
a(puck,ceilingbrickles,[or,2,8]).
a(puck,floorbrickles,[or,2,8]).
a(puck,lane,[or,2,8]).
a(puck,gutter,[or,2,8]).
a(puck,edge,[or,2,8]).
a(puck,endofalley,[or,2,8]).
a(puck,rackofpins,[or,2,8]).
a(puck,scoreboard,[or,2,8]).
a(puck,floorpong,[or,2,8]).
a(puck,ceilingpong,[or,2,8]).
a(puck,dividingline,[or,2,8]).
a(puck,leftpong,[or,2,9]).
a(puck,rightpont,[or,2,9]).
a(puck,leftbrickles,[or,2,9]).
a(puck,rightbrickles,[or,2,9]).
a(puck,pongboard,[and,1,7]).
a(puck,bricklesboard,[and,1,7]).
a(puck,bowlingboard,[and,1,7]).
a(puck,pong,[and,1,7]).
a(puck,brickles,[and,1,7]).
a(puck,bowling,[and,1,7]).
a(puck,ponggamemenu,[and,1,7]).
a(puck,bricklesgamemenu,[and,1,7]).
a(puck,bowlinggamemenu,[and,1,7]).
a(puck,arcadegame,[and,0,4]).
a(bowlingball,usecases,[and,0,5]).
a(bowlingball,classdiagram,[null,1,5]).
a(bowlingball,checkpreviousbestscore,[and,0,6]).
a(bowlingball,savescore,[and,0,6]).
a(bowlingball,savegame,[and,0,6]).
a(bowlingball,exitgame,[and,0,6]).
a(bowlingball,installgame,[and,0,6]).
a(bowlingball,uninstallgame,[and,0,6]).
a(bowlingball,listgame,[and,0,6]).
a(bowlingball,playgame,[and,0,6]).
a(bowlingball,playbrickles,[and,0,7]).
a(bowlingball,playpong,[and,0,7]).
a(bowlingball,playbowling,[and,0,7]).
a(bowlingball,initialization,[and,0,7]).
a(bowlingball,animationloop,[and,0,8]).
a(bowlingball,gamesprite,[null,2,6]).
a(bowlingball,board,[null,1,6]).
a(bowlingball,menu,[null,1,6]).
a(bowlingball,gamemenu,[null,1,6]).
a(bowlingball,pucksupply,[null,1,6]).
a(bowlingball,spritepair,[null,2,7]).
a(bowlingball,rectangle,[null,2,7]).
a(bowlingball,movablesprite,[null,3,7]).
a(bowlingball,stationarysprite,[null,2,7]).
a(bowlingball,size,[null,2,8]).
a(bowlingball,point,[null,2,8]).
a(bowlingball,velocity,[null,3,8]).
a(bowlingball,paddle,[null,3,8]).
a(bowlingball,puck,[null,3,8]).
a(bowlingball,bowlingball,[null,4,8]).
a(bowlingball,bowlingpin,[null,3,8]).
a(bowlingball,toppaddle,[null,3,9]).
a(bowlingball,bottompaddle,[null,3,9]).
a(bowlingball,wall,[or,2,8]).
a(bowlingball,brick,[or,2,8]).
a(bowlingball,brickpile,[or,2,8]).
a(bowlingball,ceilingbrickles,[or,2,8]).
a(bowlingball,floorbrickles,[or,2,8]).
a(bowlingball,lane,[or,2,8]).
a(bowlingball,gutter,[or,2,8]).
a(bowlingball,edge,[or,2,8]).
a(bowlingball,endofalley,[or,2,8]).
a(bowlingball,rackofpins,[or,2,8]).
a(bowlingball,scoreboard,[or,2,8]).
a(bowlingball,floorpong,[or,2,8]).
a(bowlingball,ceilingpong,[or,2,8]).
a(bowlingball,dividingline,[or,2,8]).
a(bowlingball,leftpong,[or,2,9]).
a(bowlingball,rightpont,[or,2,9]).
a(bowlingball,leftbrickles,[or,2,9]).
a(bowlingball,rightbrickles,[or,2,9]).
a(bowlingball,pongboard,[and,1,7]).
a(bowlingball,bricklesboard,[and,1,7]).
a(bowlingball,bowlingboard,[and,1,7]).
a(bowlingball,pong,[and,1,7]).
a(bowlingball,brickles,[and,1,7]).
a(bowlingball,bowling,[and,1,7]).
a(bowlingball,ponggamemenu,[and,1,7]).
a(bowlingball,bricklesgamemenu,[and,1,7]).
a(bowlingball,bowlinggamemenu,[and,1,7]).
a(bowlingball,arcadegame,[and,0,4]).
a(bowlingpin,usecases,[and,0,5]).
a(bowlingpin,classdiagram,[null,1,5]).
a(bowlingpin,checkpreviousbestscore,[and,0,6]).
a(bowlingpin,savescore,[and,0,6]).
a(bowlingpin,savegame,[and,0,6]).
a(bowlingpin,exitgame,[and,0,6]).
a(bowlingpin,installgame,[and,0,6]).
a(bowlingpin,uninstallgame,[and,0,6]).
a(bowlingpin,listgame,[and,0,6]).
a(bowlingpin,playgame,[and,0,6]).
a(bowlingpin,playbrickles,[and,0,7]).
a(bowlingpin,playpong,[and,0,7]).
a(bowlingpin,playbowling,[and,0,7]).
a(bowlingpin,initialization,[and,0,7]).
a(bowlingpin,animationloop,[and,0,8]).
a(bowlingpin,gamesprite,[null,2,6]).
a(bowlingpin,board,[null,1,6]).
a(bowlingpin,menu,[null,1,6]).
a(bowlingpin,gamemenu,[null,1,6]).
a(bowlingpin,pucksupply,[null,1,6]).
a(bowlingpin,spritepair,[null,2,7]).
a(bowlingpin,rectangle,[null,2,7]).
a(bowlingpin,movablesprite,[null,3,7]).
a(bowlingpin,stationarysprite,[null,2,7]).
a(bowlingpin,size,[null,2,8]).
a(bowlingpin,point,[null,2,8]).
a(bowlingpin,velocity,[null,3,8]).
a(bowlingpin,paddle,[null,3,8]).
a(bowlingpin,puck,[null,3,8]).
a(bowlingpin,bowlingball,[null,3,8]).
a(bowlingpin,bowlingpin,[null,4,8]).
a(bowlingpin,toppaddle,[null,3,9]).
a(bowlingpin,bottompaddle,[null,3,9]).
a(bowlingpin,wall,[or,2,8]).
a(bowlingpin,brick,[or,2,8]).
a(bowlingpin,brickpile,[or,2,8]).
a(bowlingpin,ceilingbrickles,[or,2,8]).
a(bowlingpin,floorbrickles,[or,2,8]).
a(bowlingpin,lane,[or,2,8]).
a(bowlingpin,gutter,[or,2,8]).
a(bowlingpin,edge,[or,2,8]).
a(bowlingpin,endofalley,[or,2,8]).
a(bowlingpin,rackofpins,[or,2,8]).
a(bowlingpin,scoreboard,[or,2,8]).
a(bowlingpin,floorpong,[or,2,8]).
a(bowlingpin,ceilingpong,[or,2,8]).
a(bowlingpin,dividingline,[or,2,8]).
a(bowlingpin,leftpong,[or,2,9]).
a(bowlingpin,rightpont,[or,2,9]).
a(bowlingpin,leftbrickles,[or,2,9]).
a(bowlingpin,rightbrickles,[or,2,9]).
a(bowlingpin,pongboard,[and,1,7]).
a(bowlingpin,bricklesboard,[and,1,7]).
a(bowlingpin,bowlingboard,[and,1,7]).
a(bowlingpin,pong,[and,1,7]).
a(bowlingpin,brickles,[and,1,7]).
a(bowlingpin,bowling,[and,1,7]).
a(bowlingpin,ponggamemenu,[and,1,7]).
a(bowlingpin,bricklesgamemenu,[and,1,7]).
a(bowlingpin,bowlinggamemenu,[and,1,7]).
a(bowlingpin,arcadegame,[and,0,4]).
a(toppaddle,usecases,[and,0,6]).
a(toppaddle,classdiagram,[null,1,6]).
a(toppaddle,checkpreviousbestscore,[and,0,7]).
a(toppaddle,savescore,[and,0,7]).
a(toppaddle,savegame,[and,0,7]).
a(toppaddle,exitgame,[and,0,7]).
a(toppaddle,installgame,[and,0,7]).
a(toppaddle,uninstallgame,[and,0,7]).
a(toppaddle,listgame,[and,0,7]).
a(toppaddle,playgame,[and,0,7]).
a(toppaddle,playbrickles,[and,0,8]).
a(toppaddle,playpong,[and,0,8]).
a(toppaddle,playbowling,[and,0,8]).
a(toppaddle,initialization,[and,0,8]).
a(toppaddle,animationloop,[and,0,9]).
a(toppaddle,gamesprite,[null,2,7]).
a(toppaddle,board,[null,1,7]).
a(toppaddle,menu,[null,1,7]).
a(toppaddle,gamemenu,[null,1,7]).
a(toppaddle,pucksupply,[null,1,7]).
a(toppaddle,spritepair,[null,2,8]).
a(toppaddle,rectangle,[null,2,8]).
a(toppaddle,movablesprite,[null,3,8]).
a(toppaddle,stationarysprite,[null,2,8]).
a(toppaddle,size,[null,2,9]).
a(toppaddle,point,[null,2,9]).
a(toppaddle,velocity,[null,3,9]).
a(toppaddle,paddle,[or,4,9]).
a(toppaddle,puck,[null,3,9]).
a(toppaddle,bowlingball,[null,3,9]).
a(toppaddle,bowlingpin,[null,3,9]).
a(toppaddle,toppaddle,[null,5,10]).
a(toppaddle,bottompaddle,[or,4,10]).
a(toppaddle,wall,[or,2,9]).
a(toppaddle,brick,[or,2,9]).
a(toppaddle,brickpile,[or,2,9]).
a(toppaddle,ceilingbrickles,[or,2,9]).
a(toppaddle,floorbrickles,[or,2,9]).
a(toppaddle,lane,[or,2,9]).
a(toppaddle,gutter,[or,2,9]).
a(toppaddle,edge,[or,2,9]).
a(toppaddle,endofalley,[or,2,9]).
a(toppaddle,rackofpins,[or,2,9]).
a(toppaddle,scoreboard,[or,2,9]).
a(toppaddle,floorpong,[or,2,9]).
a(toppaddle,ceilingpong,[or,2,9]).
a(toppaddle,dividingline,[or,2,9]).
a(toppaddle,leftpong,[or,2,10]).
a(toppaddle,rightpont,[or,2,10]).
a(toppaddle,leftbrickles,[or,2,10]).
a(toppaddle,rightbrickles,[or,2,10]).
a(toppaddle,pongboard,[and,1,8]).
a(toppaddle,bricklesboard,[and,1,8]).
a(toppaddle,bowlingboard,[and,1,8]).
a(toppaddle,pong,[and,1,8]).
a(toppaddle,brickles,[and,1,8]).
a(toppaddle,bowling,[and,1,8]).
a(toppaddle,ponggamemenu,[and,1,8]).
a(toppaddle,bricklesgamemenu,[and,1,8]).
a(toppaddle,bowlinggamemenu,[and,1,8]).
a(toppaddle,arcadegame,[and,0,5]).
a(bottompaddle,usecases,[and,0,6]).
a(bottompaddle,classdiagram,[null,1,6]).
a(bottompaddle,checkpreviousbestscore,[and,0,7]).
a(bottompaddle,savescore,[and,0,7]).
a(bottompaddle,savegame,[and,0,7]).
a(bottompaddle,exitgame,[and,0,7]).
a(bottompaddle,installgame,[and,0,7]).
a(bottompaddle,uninstallgame,[and,0,7]).
a(bottompaddle,listgame,[and,0,7]).
a(bottompaddle,playgame,[and,0,7]).
a(bottompaddle,playbrickles,[and,0,8]).
a(bottompaddle,playpong,[and,0,8]).
a(bottompaddle,playbowling,[and,0,8]).
a(bottompaddle,initialization,[and,0,8]).
a(bottompaddle,animationloop,[and,0,9]).
a(bottompaddle,gamesprite,[null,2,7]).
a(bottompaddle,board,[null,1,7]).
a(bottompaddle,menu,[null,1,7]).
a(bottompaddle,gamemenu,[null,1,7]).
a(bottompaddle,pucksupply,[null,1,7]).
a(bottompaddle,spritepair,[null,2,8]).
a(bottompaddle,rectangle,[null,2,8]).
a(bottompaddle,movablesprite,[null,3,8]).
a(bottompaddle,stationarysprite,[null,2,8]).
a(bottompaddle,size,[null,2,9]).
a(bottompaddle,point,[null,2,9]).
a(bottompaddle,velocity,[null,3,9]).
a(bottompaddle,paddle,[or,4,9]).
a(bottompaddle,puck,[null,3,9]).
a(bottompaddle,bowlingball,[null,3,9]).
a(bottompaddle,bowlingpin,[null,3,9]).
a(bottompaddle,toppaddle,[or,4,10]).
a(bottompaddle,bottompaddle,[null,5,10]).
a(bottompaddle,wall,[or,2,9]).
a(bottompaddle,brick,[or,2,9]).
a(bottompaddle,brickpile,[or,2,9]).
a(bottompaddle,ceilingbrickles,[or,2,9]).
a(bottompaddle,floorbrickles,[or,2,9]).
a(bottompaddle,lane,[or,2,9]).
a(bottompaddle,gutter,[or,2,9]).
a(bottompaddle,edge,[or,2,9]).
a(bottompaddle,endofalley,[or,2,9]).
a(bottompaddle,rackofpins,[or,2,9]).
a(bottompaddle,scoreboard,[or,2,9]).
a(bottompaddle,floorpong,[or,2,9]).
a(bottompaddle,ceilingpong,[or,2,9]).
a(bottompaddle,dividingline,[or,2,9]).
a(bottompaddle,leftpong,[or,2,10]).
a(bottompaddle,rightpont,[or,2,10]).
a(bottompaddle,leftbrickles,[or,2,10]).
a(bottompaddle,rightbrickles,[or,2,10]).
a(bottompaddle,pongboard,[and,1,8]).
a(bottompaddle,bricklesboard,[and,1,8]).
a(bottompaddle,bowlingboard,[and,1,8]).
a(bottompaddle,pong,[and,1,8]).
a(bottompaddle,brickles,[and,1,8]).
a(bottompaddle,bowling,[and,1,8]).
a(bottompaddle,ponggamemenu,[and,1,8]).
a(bottompaddle,bricklesgamemenu,[and,1,8]).
a(bottompaddle,bowlinggamemenu,[and,1,8]).
a(bottompaddle,arcadegame,[and,0,5]).
a(wall,usecases,[and,0,5]).
a(wall,classdiagram,[null,1,5]).
a(wall,checkpreviousbestscore,[and,0,6]).
a(wall,savescore,[and,0,6]).
a(wall,savegame,[and,0,6]).
a(wall,exitgame,[and,0,6]).
a(wall,installgame,[and,0,6]).
a(wall,uninstallgame,[and,0,6]).
a(wall,listgame,[and,0,6]).
a(wall,playgame,[and,0,6]).
a(wall,playbrickles,[and,0,7]).
a(wall,playpong,[and,0,7]).
a(wall,playbowling,[and,0,7]).
a(wall,initialization,[and,0,7]).
a(wall,animationloop,[and,0,8]).
a(wall,gamesprite,[null,2,6]).
a(wall,board,[null,1,6]).
a(wall,menu,[null,1,6]).
a(wall,gamemenu,[null,1,6]).
a(wall,pucksupply,[null,1,6]).
a(wall,spritepair,[null,2,7]).
a(wall,rectangle,[null,2,7]).
a(wall,movablesprite,[null,2,7]).
a(wall,stationarysprite,[null,3,7]).
a(wall,size,[null,2,8]).
a(wall,point,[null,2,8]).
a(wall,velocity,[or,2,8]).
a(wall,paddle,[or,2,8]).
a(wall,puck,[or,2,8]).
a(wall,bowlingball,[or,2,8]).
a(wall,bowlingpin,[or,2,8]).
a(wall,toppaddle,[or,2,9]).
a(wall,bottompaddle,[or,2,9]).
a(wall,wall,[or,4,8]).
a(wall,brick,[null,3,8]).
a(wall,brickpile,[null,3,8]).
a(wall,ceilingbrickles,[null,3,8]).
a(wall,floorbrickles,[null,3,8]).
a(wall,lane,[null,3,8]).
a(wall,gutter,[null,3,8]).
a(wall,edge,[null,3,8]).
a(wall,endofalley,[null,3,8]).
a(wall,rackofpins,[null,3,8]).
a(wall,scoreboard,[null,3,8]).
a(wall,floorpong,[null,3,8]).
a(wall,ceilingpong,[null,3,8]).
a(wall,dividingline,[null,3,8]).
a(wall,leftpong,[or,4,9]).
a(wall,rightpont,[or,4,9]).
a(wall,leftbrickles,[or,4,9]).
a(wall,rightbrickles,[or,4,9]).
a(wall,pongboard,[and,1,7]).
a(wall,bricklesboard,[and,1,7]).
a(wall,bowlingboard,[and,1,7]).
a(wall,pong,[and,1,7]).
a(wall,brickles,[and,1,7]).
a(wall,bowling,[and,1,7]).
a(wall,ponggamemenu,[and,1,7]).
a(wall,bricklesgamemenu,[and,1,7]).
a(wall,bowlinggamemenu,[and,1,7]).
a(wall,arcadegame,[and,0,4]).
a(brick,usecases,[and,0,5]).
a(brick,classdiagram,[null,1,5]).
a(brick,checkpreviousbestscore,[and,0,6]).
a(brick,savescore,[and,0,6]).
a(brick,savegame,[and,0,6]).
a(brick,exitgame,[and,0,6]).
a(brick,installgame,[and,0,6]).
a(brick,uninstallgame,[and,0,6]).
a(brick,listgame,[and,0,6]).
a(brick,playgame,[and,0,6]).
a(brick,playbrickles,[and,0,7]).
a(brick,playpong,[and,0,7]).
a(brick,playbowling,[and,0,7]).
a(brick,initialization,[and,0,7]).
a(brick,animationloop,[and,0,8]).
a(brick,gamesprite,[null,2,6]).
a(brick,board,[null,1,6]).
a(brick,menu,[null,1,6]).
a(brick,gamemenu,[null,1,6]).
a(brick,pucksupply,[null,1,6]).
a(brick,spritepair,[null,2,7]).
a(brick,rectangle,[null,2,7]).
a(brick,movablesprite,[null,2,7]).
a(brick,stationarysprite,[null,3,7]).
a(brick,size,[null,2,8]).
a(brick,point,[null,2,8]).
a(brick,velocity,[or,2,8]).
a(brick,paddle,[or,2,8]).
a(brick,puck,[or,2,8]).
a(brick,bowlingball,[or,2,8]).
a(brick,bowlingpin,[or,2,8]).
a(brick,toppaddle,[or,2,9]).
a(brick,bottompaddle,[or,2,9]).
a(brick,wall,[null,3,8]).
a(brick,brick,[null,4,8]).
a(brick,brickpile,[null,3,8]).
a(brick,ceilingbrickles,[null,3,8]).
a(brick,floorbrickles,[null,3,8]).
a(brick,lane,[null,3,8]).
a(brick,gutter,[null,3,8]).
a(brick,edge,[null,3,8]).
a(brick,endofalley,[null,3,8]).
a(brick,rackofpins,[null,3,8]).
a(brick,scoreboard,[null,3,8]).
a(brick,floorpong,[null,3,8]).
a(brick,ceilingpong,[null,3,8]).
a(brick,dividingline,[null,3,8]).
a(brick,leftpong,[null,3,9]).
a(brick,rightpont,[null,3,9]).
a(brick,leftbrickles,[null,3,9]).
a(brick,rightbrickles,[null,3,9]).
a(brick,pongboard,[and,1,7]).
a(brick,bricklesboard,[and,1,7]).
a(brick,bowlingboard,[and,1,7]).
a(brick,pong,[and,1,7]).
a(brick,brickles,[and,1,7]).
a(brick,bowling,[and,1,7]).
a(brick,ponggamemenu,[and,1,7]).
a(brick,bricklesgamemenu,[and,1,7]).
a(brick,bowlinggamemenu,[and,1,7]).
a(brick,arcadegame,[and,0,4]).
a(brickpile,usecases,[and,0,5]).
a(brickpile,classdiagram,[null,1,5]).
a(brickpile,checkpreviousbestscore,[and,0,6]).
a(brickpile,savescore,[and,0,6]).
a(brickpile,savegame,[and,0,6]).
a(brickpile,exitgame,[and,0,6]).
a(brickpile,installgame,[and,0,6]).
a(brickpile,uninstallgame,[and,0,6]).
a(brickpile,listgame,[and,0,6]).
a(brickpile,playgame,[and,0,6]).
a(brickpile,playbrickles,[and,0,7]).
a(brickpile,playpong,[and,0,7]).
a(brickpile,playbowling,[and,0,7]).
a(brickpile,initialization,[and,0,7]).
a(brickpile,animationloop,[and,0,8]).
a(brickpile,gamesprite,[null,2,6]).
a(brickpile,board,[null,1,6]).
a(brickpile,menu,[null,1,6]).
a(brickpile,gamemenu,[null,1,6]).
a(brickpile,pucksupply,[null,1,6]).
a(brickpile,spritepair,[null,2,7]).
a(brickpile,rectangle,[null,2,7]).
a(brickpile,movablesprite,[null,2,7]).
a(brickpile,stationarysprite,[null,3,7]).
a(brickpile,size,[null,2,8]).
a(brickpile,point,[null,2,8]).
a(brickpile,velocity,[or,2,8]).
a(brickpile,paddle,[or,2,8]).
a(brickpile,puck,[or,2,8]).
a(brickpile,bowlingball,[or,2,8]).
a(brickpile,bowlingpin,[or,2,8]).
a(brickpile,toppaddle,[or,2,9]).
a(brickpile,bottompaddle,[or,2,9]).
a(brickpile,wall,[null,3,8]).
a(brickpile,brick,[null,3,8]).
a(brickpile,brickpile,[null,4,8]).
a(brickpile,ceilingbrickles,[null,3,8]).
a(brickpile,floorbrickles,[null,3,8]).
a(brickpile,lane,[null,3,8]).
a(brickpile,gutter,[null,3,8]).
a(brickpile,edge,[null,3,8]).
a(brickpile,endofalley,[null,3,8]).
a(brickpile,rackofpins,[null,3,8]).
a(brickpile,scoreboard,[null,3,8]).
a(brickpile,floorpong,[null,3,8]).
a(brickpile,ceilingpong,[null,3,8]).
a(brickpile,dividingline,[null,3,8]).
a(brickpile,leftpong,[null,3,9]).
a(brickpile,rightpont,[null,3,9]).
a(brickpile,leftbrickles,[null,3,9]).
a(brickpile,rightbrickles,[null,3,9]).
a(brickpile,pongboard,[and,1,7]).
a(brickpile,bricklesboard,[and,1,7]).
a(brickpile,bowlingboard,[and,1,7]).
a(brickpile,pong,[and,1,7]).
a(brickpile,brickles,[and,1,7]).
a(brickpile,bowling,[and,1,7]).
a(brickpile,ponggamemenu,[and,1,7]).
a(brickpile,bricklesgamemenu,[and,1,7]).
a(brickpile,bowlinggamemenu,[and,1,7]).
a(brickpile,arcadegame,[and,0,4]).
a(ceilingbrickles,usecases,[and,0,5]).
a(ceilingbrickles,classdiagram,[null,1,5]).
a(ceilingbrickles,checkpreviousbestscore,[and,0,6]).
a(ceilingbrickles,savescore,[and,0,6]).
a(ceilingbrickles,savegame,[and,0,6]).
a(ceilingbrickles,exitgame,[and,0,6]).
a(ceilingbrickles,installgame,[and,0,6]).
a(ceilingbrickles,uninstallgame,[and,0,6]).
a(ceilingbrickles,listgame,[and,0,6]).
a(ceilingbrickles,playgame,[and,0,6]).
a(ceilingbrickles,playbrickles,[and,0,7]).
a(ceilingbrickles,playpong,[and,0,7]).
a(ceilingbrickles,playbowling,[and,0,7]).
a(ceilingbrickles,initialization,[and,0,7]).
a(ceilingbrickles,animationloop,[and,0,8]).
a(ceilingbrickles,gamesprite,[null,2,6]).
a(ceilingbrickles,board,[null,1,6]).
a(ceilingbrickles,menu,[null,1,6]).
a(ceilingbrickles,gamemenu,[null,1,6]).
a(ceilingbrickles,pucksupply,[null,1,6]).
a(ceilingbrickles,spritepair,[null,2,7]).
a(ceilingbrickles,rectangle,[null,2,7]).
a(ceilingbrickles,movablesprite,[null,2,7]).
a(ceilingbrickles,stationarysprite,[null,3,7]).
a(ceilingbrickles,size,[null,2,8]).
a(ceilingbrickles,point,[null,2,8]).
a(ceilingbrickles,velocity,[or,2,8]).
a(ceilingbrickles,paddle,[or,2,8]).
a(ceilingbrickles,puck,[or,2,8]).
a(ceilingbrickles,bowlingball,[or,2,8]).
a(ceilingbrickles,bowlingpin,[or,2,8]).
a(ceilingbrickles,toppaddle,[or,2,9]).
a(ceilingbrickles,bottompaddle,[or,2,9]).
a(ceilingbrickles,wall,[null,3,8]).
a(ceilingbrickles,brick,[null,3,8]).
a(ceilingbrickles,brickpile,[null,3,8]).
a(ceilingbrickles,ceilingbrickles,[null,4,8]).
a(ceilingbrickles,floorbrickles,[null,3,8]).
a(ceilingbrickles,lane,[null,3,8]).
a(ceilingbrickles,gutter,[null,3,8]).
a(ceilingbrickles,edge,[null,3,8]).
a(ceilingbrickles,endofalley,[null,3,8]).
a(ceilingbrickles,rackofpins,[null,3,8]).
a(ceilingbrickles,scoreboard,[null,3,8]).
a(ceilingbrickles,floorpong,[null,3,8]).
a(ceilingbrickles,ceilingpong,[null,3,8]).
a(ceilingbrickles,dividingline,[null,3,8]).
a(ceilingbrickles,leftpong,[null,3,9]).
a(ceilingbrickles,rightpont,[null,3,9]).
a(ceilingbrickles,leftbrickles,[null,3,9]).
a(ceilingbrickles,rightbrickles,[null,3,9]).
a(ceilingbrickles,pongboard,[and,1,7]).
a(ceilingbrickles,bricklesboard,[and,1,7]).
a(ceilingbrickles,bowlingboard,[and,1,7]).
a(ceilingbrickles,pong,[and,1,7]).
a(ceilingbrickles,brickles,[and,1,7]).
a(ceilingbrickles,bowling,[and,1,7]).
a(ceilingbrickles,ponggamemenu,[and,1,7]).
a(ceilingbrickles,bricklesgamemenu,[and,1,7]).
a(ceilingbrickles,bowlinggamemenu,[and,1,7]).
a(ceilingbrickles,arcadegame,[and,0,4]).
a(floorbrickles,usecases,[and,0,5]).
a(floorbrickles,classdiagram,[null,1,5]).
a(floorbrickles,checkpreviousbestscore,[and,0,6]).
a(floorbrickles,savescore,[and,0,6]).
a(floorbrickles,savegame,[and,0,6]).
a(floorbrickles,exitgame,[and,0,6]).
a(floorbrickles,installgame,[and,0,6]).
a(floorbrickles,uninstallgame,[and,0,6]).
a(floorbrickles,listgame,[and,0,6]).
a(floorbrickles,playgame,[and,0,6]).
a(floorbrickles,playbrickles,[and,0,7]).
a(floorbrickles,playpong,[and,0,7]).
a(floorbrickles,playbowling,[and,0,7]).
a(floorbrickles,initialization,[and,0,7]).
a(floorbrickles,animationloop,[and,0,8]).
a(floorbrickles,gamesprite,[null,2,6]).
a(floorbrickles,board,[null,1,6]).
a(floorbrickles,menu,[null,1,6]).
a(floorbrickles,gamemenu,[null,1,6]).
a(floorbrickles,pucksupply,[null,1,6]).
a(floorbrickles,spritepair,[null,2,7]).
a(floorbrickles,rectangle,[null,2,7]).
a(floorbrickles,movablesprite,[null,2,7]).
a(floorbrickles,stationarysprite,[null,3,7]).
a(floorbrickles,size,[null,2,8]).
a(floorbrickles,point,[null,2,8]).
a(floorbrickles,velocity,[or,2,8]).
a(floorbrickles,paddle,[or,2,8]).
a(floorbrickles,puck,[or,2,8]).
a(floorbrickles,bowlingball,[or,2,8]).
a(floorbrickles,bowlingpin,[or,2,8]).
a(floorbrickles,toppaddle,[or,2,9]).
a(floorbrickles,bottompaddle,[or,2,9]).
a(floorbrickles,wall,[null,3,8]).
a(floorbrickles,brick,[null,3,8]).
a(floorbrickles,brickpile,[null,3,8]).
a(floorbrickles,ceilingbrickles,[null,3,8]).
a(floorbrickles,floorbrickles,[null,4,8]).
a(floorbrickles,lane,[null,3,8]).
a(floorbrickles,gutter,[null,3,8]).
a(floorbrickles,edge,[null,3,8]).
a(floorbrickles,endofalley,[null,3,8]).
a(floorbrickles,rackofpins,[null,3,8]).
a(floorbrickles,scoreboard,[null,3,8]).
a(floorbrickles,floorpong,[null,3,8]).
a(floorbrickles,ceilingpong,[null,3,8]).
a(floorbrickles,dividingline,[null,3,8]).
a(floorbrickles,leftpong,[null,3,9]).
a(floorbrickles,rightpont,[null,3,9]).
a(floorbrickles,leftbrickles,[null,3,9]).
a(floorbrickles,rightbrickles,[null,3,9]).
a(floorbrickles,pongboard,[and,1,7]).
a(floorbrickles,bricklesboard,[and,1,7]).
a(floorbrickles,bowlingboard,[and,1,7]).
a(floorbrickles,pong,[and,1,7]).
a(floorbrickles,brickles,[and,1,7]).
a(floorbrickles,bowling,[and,1,7]).
a(floorbrickles,ponggamemenu,[and,1,7]).
a(floorbrickles,bricklesgamemenu,[and,1,7]).
a(floorbrickles,bowlinggamemenu,[and,1,7]).
a(floorbrickles,arcadegame,[and,0,4]).
a(lane,usecases,[and,0,5]).
a(lane,classdiagram,[null,1,5]).
a(lane,checkpreviousbestscore,[and,0,6]).
a(lane,savescore,[and,0,6]).
a(lane,savegame,[and,0,6]).
a(lane,exitgame,[and,0,6]).
a(lane,installgame,[and,0,6]).
a(lane,uninstallgame,[and,0,6]).
a(lane,listgame,[and,0,6]).
a(lane,playgame,[and,0,6]).
a(lane,playbrickles,[and,0,7]).
a(lane,playpong,[and,0,7]).
a(lane,playbowling,[and,0,7]).
a(lane,initialization,[and,0,7]).
a(lane,animationloop,[and,0,8]).
a(lane,gamesprite,[null,2,6]).
a(lane,board,[null,1,6]).
a(lane,menu,[null,1,6]).
a(lane,gamemenu,[null,1,6]).
a(lane,pucksupply,[null,1,6]).
a(lane,spritepair,[null,2,7]).
a(lane,rectangle,[null,2,7]).
a(lane,movablesprite,[null,2,7]).
a(lane,stationarysprite,[null,3,7]).
a(lane,size,[null,2,8]).
a(lane,point,[null,2,8]).
a(lane,velocity,[or,2,8]).
a(lane,paddle,[or,2,8]).
a(lane,puck,[or,2,8]).
a(lane,bowlingball,[or,2,8]).
a(lane,bowlingpin,[or,2,8]).
a(lane,toppaddle,[or,2,9]).
a(lane,bottompaddle,[or,2,9]).
a(lane,wall,[null,3,8]).
a(lane,brick,[null,3,8]).
a(lane,brickpile,[null,3,8]).
a(lane,ceilingbrickles,[null,3,8]).
a(lane,floorbrickles,[null,3,8]).
a(lane,lane,[null,4,8]).
a(lane,gutter,[null,3,8]).
a(lane,edge,[null,3,8]).
a(lane,endofalley,[null,3,8]).
a(lane,rackofpins,[null,3,8]).
a(lane,scoreboard,[null,3,8]).
a(lane,floorpong,[null,3,8]).
a(lane,ceilingpong,[null,3,8]).
a(lane,dividingline,[null,3,8]).
a(lane,leftpong,[null,3,9]).
a(lane,rightpont,[null,3,9]).
a(lane,leftbrickles,[null,3,9]).
a(lane,rightbrickles,[null,3,9]).
a(lane,pongboard,[and,1,7]).
a(lane,bricklesboard,[and,1,7]).
a(lane,bowlingboard,[and,1,7]).
a(lane,pong,[and,1,7]).
a(lane,brickles,[and,1,7]).
a(lane,bowling,[and,1,7]).
a(lane,ponggamemenu,[and,1,7]).
a(lane,bricklesgamemenu,[and,1,7]).
a(lane,bowlinggamemenu,[and,1,7]).
a(lane,arcadegame,[and,0,4]).
a(gutter,usecases,[and,0,5]).
a(gutter,classdiagram,[null,1,5]).
a(gutter,checkpreviousbestscore,[and,0,6]).
a(gutter,savescore,[and,0,6]).
a(gutter,savegame,[and,0,6]).
a(gutter,exitgame,[and,0,6]).
a(gutter,installgame,[and,0,6]).
a(gutter,uninstallgame,[and,0,6]).
a(gutter,listgame,[and,0,6]).
a(gutter,playgame,[and,0,6]).
a(gutter,playbrickles,[and,0,7]).
a(gutter,playpong,[and,0,7]).
a(gutter,playbowling,[and,0,7]).
a(gutter,initialization,[and,0,7]).
a(gutter,animationloop,[and,0,8]).
a(gutter,gamesprite,[null,2,6]).
a(gutter,board,[null,1,6]).
a(gutter,menu,[null,1,6]).
a(gutter,gamemenu,[null,1,6]).
a(gutter,pucksupply,[null,1,6]).
a(gutter,spritepair,[null,2,7]).
a(gutter,rectangle,[null,2,7]).
a(gutter,movablesprite,[null,2,7]).
a(gutter,stationarysprite,[null,3,7]).
a(gutter,size,[null,2,8]).
a(gutter,point,[null,2,8]).
a(gutter,velocity,[or,2,8]).
a(gutter,paddle,[or,2,8]).
a(gutter,puck,[or,2,8]).
a(gutter,bowlingball,[or,2,8]).
a(gutter,bowlingpin,[or,2,8]).
a(gutter,toppaddle,[or,2,9]).
a(gutter,bottompaddle,[or,2,9]).
a(gutter,wall,[null,3,8]).
a(gutter,brick,[null,3,8]).
a(gutter,brickpile,[null,3,8]).
a(gutter,ceilingbrickles,[null,3,8]).
a(gutter,floorbrickles,[null,3,8]).
a(gutter,lane,[null,3,8]).
a(gutter,gutter,[null,4,8]).
a(gutter,edge,[null,3,8]).
a(gutter,endofalley,[null,3,8]).
a(gutter,rackofpins,[null,3,8]).
a(gutter,scoreboard,[null,3,8]).
a(gutter,floorpong,[null,3,8]).
a(gutter,ceilingpong,[null,3,8]).
a(gutter,dividingline,[null,3,8]).
a(gutter,leftpong,[null,3,9]).
a(gutter,rightpont,[null,3,9]).
a(gutter,leftbrickles,[null,3,9]).
a(gutter,rightbrickles,[null,3,9]).
a(gutter,pongboard,[and,1,7]).
a(gutter,bricklesboard,[and,1,7]).
a(gutter,bowlingboard,[and,1,7]).
a(gutter,pong,[and,1,7]).
a(gutter,brickles,[and,1,7]).
a(gutter,bowling,[and,1,7]).
a(gutter,ponggamemenu,[and,1,7]).
a(gutter,bricklesgamemenu,[and,1,7]).
a(gutter,bowlinggamemenu,[and,1,7]).
a(gutter,arcadegame,[and,0,4]).
a(edge,usecases,[and,0,5]).
a(edge,classdiagram,[null,1,5]).
a(edge,checkpreviousbestscore,[and,0,6]).
a(edge,savescore,[and,0,6]).
a(edge,savegame,[and,0,6]).
a(edge,exitgame,[and,0,6]).
a(edge,installgame,[and,0,6]).
a(edge,uninstallgame,[and,0,6]).
a(edge,listgame,[and,0,6]).
a(edge,playgame,[and,0,6]).
a(edge,playbrickles,[and,0,7]).
a(edge,playpong,[and,0,7]).
a(edge,playbowling,[and,0,7]).
a(edge,initialization,[and,0,7]).
a(edge,animationloop,[and,0,8]).
a(edge,gamesprite,[null,2,6]).
a(edge,board,[null,1,6]).
a(edge,menu,[null,1,6]).
a(edge,gamemenu,[null,1,6]).
a(edge,pucksupply,[null,1,6]).
a(edge,spritepair,[null,2,7]).
a(edge,rectangle,[null,2,7]).
a(edge,movablesprite,[null,2,7]).
a(edge,stationarysprite,[null,3,7]).
a(edge,size,[null,2,8]).
a(edge,point,[null,2,8]).
a(edge,velocity,[or,2,8]).
a(edge,paddle,[or,2,8]).
a(edge,puck,[or,2,8]).
a(edge,bowlingball,[or,2,8]).
a(edge,bowlingpin,[or,2,8]).
a(edge,toppaddle,[or,2,9]).
a(edge,bottompaddle,[or,2,9]).
a(edge,wall,[null,3,8]).
a(edge,brick,[null,3,8]).
a(edge,brickpile,[null,3,8]).
a(edge,ceilingbrickles,[null,3,8]).
a(edge,floorbrickles,[null,3,8]).
a(edge,lane,[null,3,8]).
a(edge,gutter,[null,3,8]).
a(edge,edge,[null,4,8]).
a(edge,endofalley,[null,3,8]).
a(edge,rackofpins,[null,3,8]).
a(edge,scoreboard,[null,3,8]).
a(edge,floorpong,[null,3,8]).
a(edge,ceilingpong,[null,3,8]).
a(edge,dividingline,[null,3,8]).
a(edge,leftpong,[null,3,9]).
a(edge,rightpont,[null,3,9]).
a(edge,leftbrickles,[null,3,9]).
a(edge,rightbrickles,[null,3,9]).
a(edge,pongboard,[and,1,7]).
a(edge,bricklesboard,[and,1,7]).
a(edge,bowlingboard,[and,1,7]).
a(edge,pong,[and,1,7]).
a(edge,brickles,[and,1,7]).
a(edge,bowling,[and,1,7]).
a(edge,ponggamemenu,[and,1,7]).
a(edge,bricklesgamemenu,[and,1,7]).
a(edge,bowlinggamemenu,[and,1,7]).
a(edge,arcadegame,[and,0,4]).
a(endofalley,usecases,[and,0,5]).
a(endofalley,classdiagram,[null,1,5]).
a(endofalley,checkpreviousbestscore,[and,0,6]).
a(endofalley,savescore,[and,0,6]).
a(endofalley,savegame,[and,0,6]).
a(endofalley,exitgame,[and,0,6]).
a(endofalley,installgame,[and,0,6]).
a(endofalley,uninstallgame,[and,0,6]).
a(endofalley,listgame,[and,0,6]).
a(endofalley,playgame,[and,0,6]).
a(endofalley,playbrickles,[and,0,7]).
a(endofalley,playpong,[and,0,7]).
a(endofalley,playbowling,[and,0,7]).
a(endofalley,initialization,[and,0,7]).
a(endofalley,animationloop,[and,0,8]).
a(endofalley,gamesprite,[null,2,6]).
a(endofalley,board,[null,1,6]).
a(endofalley,menu,[null,1,6]).
a(endofalley,gamemenu,[null,1,6]).
a(endofalley,pucksupply,[null,1,6]).
a(endofalley,spritepair,[null,2,7]).
a(endofalley,rectangle,[null,2,7]).
a(endofalley,movablesprite,[null,2,7]).
a(endofalley,stationarysprite,[null,3,7]).
a(endofalley,size,[null,2,8]).
a(endofalley,point,[null,2,8]).
a(endofalley,velocity,[or,2,8]).
a(endofalley,paddle,[or,2,8]).
a(endofalley,puck,[or,2,8]).
a(endofalley,bowlingball,[or,2,8]).
a(endofalley,bowlingpin,[or,2,8]).
a(endofalley,toppaddle,[or,2,9]).
a(endofalley,bottompaddle,[or,2,9]).
a(endofalley,wall,[null,3,8]).
a(endofalley,brick,[null,3,8]).
a(endofalley,brickpile,[null,3,8]).
a(endofalley,ceilingbrickles,[null,3,8]).
a(endofalley,floorbrickles,[null,3,8]).
a(endofalley,lane,[null,3,8]).
a(endofalley,gutter,[null,3,8]).
a(endofalley,edge,[null,3,8]).
a(endofalley,endofalley,[null,4,8]).
a(endofalley,rackofpins,[null,3,8]).
a(endofalley,scoreboard,[null,3,8]).
a(endofalley,floorpong,[null,3,8]).
a(endofalley,ceilingpong,[null,3,8]).
a(endofalley,dividingline,[null,3,8]).
a(endofalley,leftpong,[null,3,9]).
a(endofalley,rightpont,[null,3,9]).
a(endofalley,leftbrickles,[null,3,9]).
a(endofalley,rightbrickles,[null,3,9]).
a(endofalley,pongboard,[and,1,7]).
a(endofalley,bricklesboard,[and,1,7]).
a(endofalley,bowlingboard,[and,1,7]).
a(endofalley,pong,[and,1,7]).
a(endofalley,brickles,[and,1,7]).
a(endofalley,bowling,[and,1,7]).
a(endofalley,ponggamemenu,[and,1,7]).
a(endofalley,bricklesgamemenu,[and,1,7]).
a(endofalley,bowlinggamemenu,[and,1,7]).
a(endofalley,arcadegame,[and,0,4]).
a(rackofpins,usecases,[and,0,5]).
a(rackofpins,classdiagram,[null,1,5]).
a(rackofpins,checkpreviousbestscore,[and,0,6]).
a(rackofpins,savescore,[and,0,6]).
a(rackofpins,savegame,[and,0,6]).
a(rackofpins,exitgame,[and,0,6]).
a(rackofpins,installgame,[and,0,6]).
a(rackofpins,uninstallgame,[and,0,6]).
a(rackofpins,listgame,[and,0,6]).
a(rackofpins,playgame,[and,0,6]).
a(rackofpins,playbrickles,[and,0,7]).
a(rackofpins,playpong,[and,0,7]).
a(rackofpins,playbowling,[and,0,7]).
a(rackofpins,initialization,[and,0,7]).
a(rackofpins,animationloop,[and,0,8]).
a(rackofpins,gamesprite,[null,2,6]).
a(rackofpins,board,[null,1,6]).
a(rackofpins,menu,[null,1,6]).
a(rackofpins,gamemenu,[null,1,6]).
a(rackofpins,pucksupply,[null,1,6]).
a(rackofpins,spritepair,[null,2,7]).
a(rackofpins,rectangle,[null,2,7]).
a(rackofpins,movablesprite,[null,2,7]).
a(rackofpins,stationarysprite,[null,3,7]).
a(rackofpins,size,[null,2,8]).
a(rackofpins,point,[null,2,8]).
a(rackofpins,velocity,[or,2,8]).
a(rackofpins,paddle,[or,2,8]).
a(rackofpins,puck,[or,2,8]).
a(rackofpins,bowlingball,[or,2,8]).
a(rackofpins,bowlingpin,[or,2,8]).
a(rackofpins,toppaddle,[or,2,9]).
a(rackofpins,bottompaddle,[or,2,9]).
a(rackofpins,wall,[null,3,8]).
a(rackofpins,brick,[null,3,8]).
a(rackofpins,brickpile,[null,3,8]).
a(rackofpins,ceilingbrickles,[null,3,8]).
a(rackofpins,floorbrickles,[null,3,8]).
a(rackofpins,lane,[null,3,8]).
a(rackofpins,gutter,[null,3,8]).
a(rackofpins,edge,[null,3,8]).
a(rackofpins,endofalley,[null,3,8]).
a(rackofpins,rackofpins,[null,4,8]).
a(rackofpins,scoreboard,[null,3,8]).
a(rackofpins,floorpong,[null,3,8]).
a(rackofpins,ceilingpong,[null,3,8]).
a(rackofpins,dividingline,[null,3,8]).
a(rackofpins,leftpong,[null,3,9]).
a(rackofpins,rightpont,[null,3,9]).
a(rackofpins,leftbrickles,[null,3,9]).
a(rackofpins,rightbrickles,[null,3,9]).
a(rackofpins,pongboard,[and,1,7]).
a(rackofpins,bricklesboard,[and,1,7]).
a(rackofpins,bowlingboard,[and,1,7]).
a(rackofpins,pong,[and,1,7]).
a(rackofpins,brickles,[and,1,7]).
a(rackofpins,bowling,[and,1,7]).
a(rackofpins,ponggamemenu,[and,1,7]).
a(rackofpins,bricklesgamemenu,[and,1,7]).
a(rackofpins,bowlinggamemenu,[and,1,7]).
a(rackofpins,arcadegame,[and,0,4]).
a(scoreboard,usecases,[and,0,5]).
a(scoreboard,classdiagram,[null,1,5]).
a(scoreboard,checkpreviousbestscore,[and,0,6]).
a(scoreboard,savescore,[and,0,6]).
a(scoreboard,savegame,[and,0,6]).
a(scoreboard,exitgame,[and,0,6]).
a(scoreboard,installgame,[and,0,6]).
a(scoreboard,uninstallgame,[and,0,6]).
a(scoreboard,listgame,[and,0,6]).
a(scoreboard,playgame,[and,0,6]).
a(scoreboard,playbrickles,[and,0,7]).
a(scoreboard,playpong,[and,0,7]).
a(scoreboard,playbowling,[and,0,7]).
a(scoreboard,initialization,[and,0,7]).
a(scoreboard,animationloop,[and,0,8]).
a(scoreboard,gamesprite,[null,2,6]).
a(scoreboard,board,[null,1,6]).
a(scoreboard,menu,[null,1,6]).
a(scoreboard,gamemenu,[null,1,6]).
a(scoreboard,pucksupply,[null,1,6]).
a(scoreboard,spritepair,[null,2,7]).
a(scoreboard,rectangle,[null,2,7]).
a(scoreboard,movablesprite,[null,2,7]).
a(scoreboard,stationarysprite,[null,3,7]).
a(scoreboard,size,[null,2,8]).
a(scoreboard,point,[null,2,8]).
a(scoreboard,velocity,[or,2,8]).
a(scoreboard,paddle,[or,2,8]).
a(scoreboard,puck,[or,2,8]).
a(scoreboard,bowlingball,[or,2,8]).
a(scoreboard,bowlingpin,[or,2,8]).
a(scoreboard,toppaddle,[or,2,9]).
a(scoreboard,bottompaddle,[or,2,9]).
a(scoreboard,wall,[null,3,8]).
a(scoreboard,brick,[null,3,8]).
a(scoreboard,brickpile,[null,3,8]).
a(scoreboard,ceilingbrickles,[null,3,8]).
a(scoreboard,floorbrickles,[null,3,8]).
a(scoreboard,lane,[null,3,8]).
a(scoreboard,gutter,[null,3,8]).
a(scoreboard,edge,[null,3,8]).
a(scoreboard,endofalley,[null,3,8]).
a(scoreboard,rackofpins,[null,3,8]).
a(scoreboard,scoreboard,[null,4,8]).
a(scoreboard,floorpong,[null,3,8]).
a(scoreboard,ceilingpong,[null,3,8]).
a(scoreboard,dividingline,[null,3,8]).
a(scoreboard,leftpong,[null,3,9]).
a(scoreboard,rightpont,[null,3,9]).
a(scoreboard,leftbrickles,[null,3,9]).
a(scoreboard,rightbrickles,[null,3,9]).
a(scoreboard,pongboard,[and,1,7]).
a(scoreboard,bricklesboard,[and,1,7]).
a(scoreboard,bowlingboard,[and,1,7]).
a(scoreboard,pong,[and,1,7]).
a(scoreboard,brickles,[and,1,7]).
a(scoreboard,bowling,[and,1,7]).
a(scoreboard,ponggamemenu,[and,1,7]).
a(scoreboard,bricklesgamemenu,[and,1,7]).
a(scoreboard,bowlinggamemenu,[and,1,7]).
a(scoreboard,arcadegame,[and,0,4]).
a(floorpong,usecases,[and,0,5]).
a(floorpong,classdiagram,[null,1,5]).
a(floorpong,checkpreviousbestscore,[and,0,6]).
a(floorpong,savescore,[and,0,6]).
a(floorpong,savegame,[and,0,6]).
a(floorpong,exitgame,[and,0,6]).
a(floorpong,installgame,[and,0,6]).
a(floorpong,uninstallgame,[and,0,6]).
a(floorpong,listgame,[and,0,6]).
a(floorpong,playgame,[and,0,6]).
a(floorpong,playbrickles,[and,0,7]).
a(floorpong,playpong,[and,0,7]).
a(floorpong,playbowling,[and,0,7]).
a(floorpong,initialization,[and,0,7]).
a(floorpong,animationloop,[and,0,8]).
a(floorpong,gamesprite,[null,2,6]).
a(floorpong,board,[null,1,6]).
a(floorpong,menu,[null,1,6]).
a(floorpong,gamemenu,[null,1,6]).
a(floorpong,pucksupply,[null,1,6]).
a(floorpong,spritepair,[null,2,7]).
a(floorpong,rectangle,[null,2,7]).
a(floorpong,movablesprite,[null,2,7]).
a(floorpong,stationarysprite,[null,3,7]).
a(floorpong,size,[null,2,8]).
a(floorpong,point,[null,2,8]).
a(floorpong,velocity,[or,2,8]).
a(floorpong,paddle,[or,2,8]).
a(floorpong,puck,[or,2,8]).
a(floorpong,bowlingball,[or,2,8]).
a(floorpong,bowlingpin,[or,2,8]).
a(floorpong,toppaddle,[or,2,9]).
a(floorpong,bottompaddle,[or,2,9]).
a(floorpong,wall,[null,3,8]).
a(floorpong,brick,[null,3,8]).
a(floorpong,brickpile,[null,3,8]).
a(floorpong,ceilingbrickles,[null,3,8]).
a(floorpong,floorbrickles,[null,3,8]).
a(floorpong,lane,[null,3,8]).
a(floorpong,gutter,[null,3,8]).
a(floorpong,edge,[null,3,8]).
a(floorpong,endofalley,[null,3,8]).
a(floorpong,rackofpins,[null,3,8]).
a(floorpong,scoreboard,[null,3,8]).
a(floorpong,floorpong,[null,4,8]).
a(floorpong,ceilingpong,[null,3,8]).
a(floorpong,dividingline,[null,3,8]).
a(floorpong,leftpong,[null,3,9]).
a(floorpong,rightpont,[null,3,9]).
a(floorpong,leftbrickles,[null,3,9]).
a(floorpong,rightbrickles,[null,3,9]).
a(floorpong,pongboard,[and,1,7]).
a(floorpong,bricklesboard,[and,1,7]).
a(floorpong,bowlingboard,[and,1,7]).
a(floorpong,pong,[and,1,7]).
a(floorpong,brickles,[and,1,7]).
a(floorpong,bowling,[and,1,7]).
a(floorpong,ponggamemenu,[and,1,7]).
a(floorpong,bricklesgamemenu,[and,1,7]).
a(floorpong,bowlinggamemenu,[and,1,7]).
a(floorpong,arcadegame,[and,0,4]).
a(ceilingpong,usecases,[and,0,5]).
a(ceilingpong,classdiagram,[null,1,5]).
a(ceilingpong,checkpreviousbestscore,[and,0,6]).
a(ceilingpong,savescore,[and,0,6]).
a(ceilingpong,savegame,[and,0,6]).
a(ceilingpong,exitgame,[and,0,6]).
a(ceilingpong,installgame,[and,0,6]).
a(ceilingpong,uninstallgame,[and,0,6]).
a(ceilingpong,listgame,[and,0,6]).
a(ceilingpong,playgame,[and,0,6]).
a(ceilingpong,playbrickles,[and,0,7]).
a(ceilingpong,playpong,[and,0,7]).
a(ceilingpong,playbowling,[and,0,7]).
a(ceilingpong,initialization,[and,0,7]).
a(ceilingpong,animationloop,[and,0,8]).
a(ceilingpong,gamesprite,[null,2,6]).
a(ceilingpong,board,[null,1,6]).
a(ceilingpong,menu,[null,1,6]).
a(ceilingpong,gamemenu,[null,1,6]).
a(ceilingpong,pucksupply,[null,1,6]).
a(ceilingpong,spritepair,[null,2,7]).
a(ceilingpong,rectangle,[null,2,7]).
a(ceilingpong,movablesprite,[null,2,7]).
a(ceilingpong,stationarysprite,[null,3,7]).
a(ceilingpong,size,[null,2,8]).
a(ceilingpong,point,[null,2,8]).
a(ceilingpong,velocity,[or,2,8]).
a(ceilingpong,paddle,[or,2,8]).
a(ceilingpong,puck,[or,2,8]).
a(ceilingpong,bowlingball,[or,2,8]).
a(ceilingpong,bowlingpin,[or,2,8]).
a(ceilingpong,toppaddle,[or,2,9]).
a(ceilingpong,bottompaddle,[or,2,9]).
a(ceilingpong,wall,[null,3,8]).
a(ceilingpong,brick,[null,3,8]).
a(ceilingpong,brickpile,[null,3,8]).
a(ceilingpong,ceilingbrickles,[null,3,8]).
a(ceilingpong,floorbrickles,[null,3,8]).
a(ceilingpong,lane,[null,3,8]).
a(ceilingpong,gutter,[null,3,8]).
a(ceilingpong,edge,[null,3,8]).
a(ceilingpong,endofalley,[null,3,8]).
a(ceilingpong,rackofpins,[null,3,8]).
a(ceilingpong,scoreboard,[null,3,8]).
a(ceilingpong,floorpong,[null,3,8]).
a(ceilingpong,ceilingpong,[null,4,8]).
a(ceilingpong,dividingline,[null,3,8]).
a(ceilingpong,leftpong,[null,3,9]).
a(ceilingpong,rightpont,[null,3,9]).
a(ceilingpong,leftbrickles,[null,3,9]).
a(ceilingpong,rightbrickles,[null,3,9]).
a(ceilingpong,pongboard,[and,1,7]).
a(ceilingpong,bricklesboard,[and,1,7]).
a(ceilingpong,bowlingboard,[and,1,7]).
a(ceilingpong,pong,[and,1,7]).
a(ceilingpong,brickles,[and,1,7]).
a(ceilingpong,bowling,[and,1,7]).
a(ceilingpong,ponggamemenu,[and,1,7]).
a(ceilingpong,bricklesgamemenu,[and,1,7]).
a(ceilingpong,bowlinggamemenu,[and,1,7]).
a(ceilingpong,arcadegame,[and,0,4]).
a(dividingline,usecases,[and,0,5]).
a(dividingline,classdiagram,[null,1,5]).
a(dividingline,checkpreviousbestscore,[and,0,6]).
a(dividingline,savescore,[and,0,6]).
a(dividingline,savegame,[and,0,6]).
a(dividingline,exitgame,[and,0,6]).
a(dividingline,installgame,[and,0,6]).
a(dividingline,uninstallgame,[and,0,6]).
a(dividingline,listgame,[and,0,6]).
a(dividingline,playgame,[and,0,6]).
a(dividingline,playbrickles,[and,0,7]).
a(dividingline,playpong,[and,0,7]).
a(dividingline,playbowling,[and,0,7]).
a(dividingline,initialization,[and,0,7]).
a(dividingline,animationloop,[and,0,8]).
a(dividingline,gamesprite,[null,2,6]).
a(dividingline,board,[null,1,6]).
a(dividingline,menu,[null,1,6]).
a(dividingline,gamemenu,[null,1,6]).
a(dividingline,pucksupply,[null,1,6]).
a(dividingline,spritepair,[null,2,7]).
a(dividingline,rectangle,[null,2,7]).
a(dividingline,movablesprite,[null,2,7]).
a(dividingline,stationarysprite,[null,3,7]).
a(dividingline,size,[null,2,8]).
a(dividingline,point,[null,2,8]).
a(dividingline,velocity,[or,2,8]).
a(dividingline,paddle,[or,2,8]).
a(dividingline,puck,[or,2,8]).
a(dividingline,bowlingball,[or,2,8]).
a(dividingline,bowlingpin,[or,2,8]).
a(dividingline,toppaddle,[or,2,9]).
a(dividingline,bottompaddle,[or,2,9]).
a(dividingline,wall,[null,3,8]).
a(dividingline,brick,[null,3,8]).
a(dividingline,brickpile,[null,3,8]).
a(dividingline,ceilingbrickles,[null,3,8]).
a(dividingline,floorbrickles,[null,3,8]).
a(dividingline,lane,[null,3,8]).
a(dividingline,gutter,[null,3,8]).
a(dividingline,edge,[null,3,8]).
a(dividingline,endofalley,[null,3,8]).
a(dividingline,rackofpins,[null,3,8]).
a(dividingline,scoreboard,[null,3,8]).
a(dividingline,floorpong,[null,3,8]).
a(dividingline,ceilingpong,[null,3,8]).
a(dividingline,dividingline,[null,4,8]).
a(dividingline,leftpong,[null,3,9]).
a(dividingline,rightpont,[null,3,9]).
a(dividingline,leftbrickles,[null,3,9]).
a(dividingline,rightbrickles,[null,3,9]).
a(dividingline,pongboard,[and,1,7]).
a(dividingline,bricklesboard,[and,1,7]).
a(dividingline,bowlingboard,[and,1,7]).
a(dividingline,pong,[and,1,7]).
a(dividingline,brickles,[and,1,7]).
a(dividingline,bowling,[and,1,7]).
a(dividingline,ponggamemenu,[and,1,7]).
a(dividingline,bricklesgamemenu,[and,1,7]).
a(dividingline,bowlinggamemenu,[and,1,7]).
a(dividingline,arcadegame,[and,0,4]).
a(leftpong,usecases,[and,0,6]).
a(leftpong,classdiagram,[null,1,6]).
a(leftpong,checkpreviousbestscore,[and,0,7]).
a(leftpong,savescore,[and,0,7]).
a(leftpong,savegame,[and,0,7]).
a(leftpong,exitgame,[and,0,7]).
a(leftpong,installgame,[and,0,7]).
a(leftpong,uninstallgame,[and,0,7]).
a(leftpong,listgame,[and,0,7]).
a(leftpong,playgame,[and,0,7]).
a(leftpong,playbrickles,[and,0,8]).
a(leftpong,playpong,[and,0,8]).
a(leftpong,playbowling,[and,0,8]).
a(leftpong,initialization,[and,0,8]).
a(leftpong,animationloop,[and,0,9]).
a(leftpong,gamesprite,[null,2,7]).
a(leftpong,board,[null,1,7]).
a(leftpong,menu,[null,1,7]).
a(leftpong,gamemenu,[null,1,7]).
a(leftpong,pucksupply,[null,1,7]).
a(leftpong,spritepair,[null,2,8]).
a(leftpong,rectangle,[null,2,8]).
a(leftpong,movablesprite,[null,2,8]).
a(leftpong,stationarysprite,[null,3,8]).
a(leftpong,size,[null,2,9]).
a(leftpong,point,[null,2,9]).
a(leftpong,velocity,[or,2,9]).
a(leftpong,paddle,[or,2,9]).
a(leftpong,puck,[or,2,9]).
a(leftpong,bowlingball,[or,2,9]).
a(leftpong,bowlingpin,[or,2,9]).
a(leftpong,toppaddle,[or,2,10]).
a(leftpong,bottompaddle,[or,2,10]).
a(leftpong,wall,[or,4,9]).
a(leftpong,brick,[null,3,9]).
a(leftpong,brickpile,[null,3,9]).
a(leftpong,ceilingbrickles,[null,3,9]).
a(leftpong,floorbrickles,[null,3,9]).
a(leftpong,lane,[null,3,9]).
a(leftpong,gutter,[null,3,9]).
a(leftpong,edge,[null,3,9]).
a(leftpong,endofalley,[null,3,9]).
a(leftpong,rackofpins,[null,3,9]).
a(leftpong,scoreboard,[null,3,9]).
a(leftpong,floorpong,[null,3,9]).
a(leftpong,ceilingpong,[null,3,9]).
a(leftpong,dividingline,[null,3,9]).
a(leftpong,leftpong,[null,5,10]).
a(leftpong,rightpont,[or,4,10]).
a(leftpong,leftbrickles,[or,4,10]).
a(leftpong,rightbrickles,[or,4,10]).
a(leftpong,pongboard,[and,1,8]).
a(leftpong,bricklesboard,[and,1,8]).
a(leftpong,bowlingboard,[and,1,8]).
a(leftpong,pong,[and,1,8]).
a(leftpong,brickles,[and,1,8]).
a(leftpong,bowling,[and,1,8]).
a(leftpong,ponggamemenu,[and,1,8]).
a(leftpong,bricklesgamemenu,[and,1,8]).
a(leftpong,bowlinggamemenu,[and,1,8]).
a(leftpong,arcadegame,[and,0,5]).
a(rightpont,usecases,[and,0,6]).
a(rightpont,classdiagram,[null,1,6]).
a(rightpont,checkpreviousbestscore,[and,0,7]).
a(rightpont,savescore,[and,0,7]).
a(rightpont,savegame,[and,0,7]).
a(rightpont,exitgame,[and,0,7]).
a(rightpont,installgame,[and,0,7]).
a(rightpont,uninstallgame,[and,0,7]).
a(rightpont,listgame,[and,0,7]).
a(rightpont,playgame,[and,0,7]).
a(rightpont,playbrickles,[and,0,8]).
a(rightpont,playpong,[and,0,8]).
a(rightpont,playbowling,[and,0,8]).
a(rightpont,initialization,[and,0,8]).
a(rightpont,animationloop,[and,0,9]).
a(rightpont,gamesprite,[null,2,7]).
a(rightpont,board,[null,1,7]).
a(rightpont,menu,[null,1,7]).
a(rightpont,gamemenu,[null,1,7]).
a(rightpont,pucksupply,[null,1,7]).
a(rightpont,spritepair,[null,2,8]).
a(rightpont,rectangle,[null,2,8]).
a(rightpont,movablesprite,[null,2,8]).
a(rightpont,stationarysprite,[null,3,8]).
a(rightpont,size,[null,2,9]).
a(rightpont,point,[null,2,9]).
a(rightpont,velocity,[or,2,9]).
a(rightpont,paddle,[or,2,9]).
a(rightpont,puck,[or,2,9]).
a(rightpont,bowlingball,[or,2,9]).
a(rightpont,bowlingpin,[or,2,9]).
a(rightpont,toppaddle,[or,2,10]).
a(rightpont,bottompaddle,[or,2,10]).
a(rightpont,wall,[or,4,9]).
a(rightpont,brick,[null,3,9]).
a(rightpont,brickpile,[null,3,9]).
a(rightpont,ceilingbrickles,[null,3,9]).
a(rightpont,floorbrickles,[null,3,9]).
a(rightpont,lane,[null,3,9]).
a(rightpont,gutter,[null,3,9]).
a(rightpont,edge,[null,3,9]).
a(rightpont,endofalley,[null,3,9]).
a(rightpont,rackofpins,[null,3,9]).
a(rightpont,scoreboard,[null,3,9]).
a(rightpont,floorpong,[null,3,9]).
a(rightpont,ceilingpong,[null,3,9]).
a(rightpont,dividingline,[null,3,9]).
a(rightpont,leftpong,[or,4,10]).
a(rightpont,rightpont,[null,5,10]).
a(rightpont,leftbrickles,[or,4,10]).
a(rightpont,rightbrickles,[or,4,10]).
a(rightpont,pongboard,[and,1,8]).
a(rightpont,bricklesboard,[and,1,8]).
a(rightpont,bowlingboard,[and,1,8]).
a(rightpont,pong,[and,1,8]).
a(rightpont,brickles,[and,1,8]).
a(rightpont,bowling,[and,1,8]).
a(rightpont,ponggamemenu,[and,1,8]).
a(rightpont,bricklesgamemenu,[and,1,8]).
a(rightpont,bowlinggamemenu,[and,1,8]).
a(rightpont,arcadegame,[and,0,5]).
a(leftbrickles,usecases,[and,0,6]).
a(leftbrickles,classdiagram,[null,1,6]).
a(leftbrickles,checkpreviousbestscore,[and,0,7]).
a(leftbrickles,savescore,[and,0,7]).
a(leftbrickles,savegame,[and,0,7]).
a(leftbrickles,exitgame,[and,0,7]).
a(leftbrickles,installgame,[and,0,7]).
a(leftbrickles,uninstallgame,[and,0,7]).
a(leftbrickles,listgame,[and,0,7]).
a(leftbrickles,playgame,[and,0,7]).
a(leftbrickles,playbrickles,[and,0,8]).
a(leftbrickles,playpong,[and,0,8]).
a(leftbrickles,playbowling,[and,0,8]).
a(leftbrickles,initialization,[and,0,8]).
a(leftbrickles,animationloop,[and,0,9]).
a(leftbrickles,gamesprite,[null,2,7]).
a(leftbrickles,board,[null,1,7]).
a(leftbrickles,menu,[null,1,7]).
a(leftbrickles,gamemenu,[null,1,7]).
a(leftbrickles,pucksupply,[null,1,7]).
a(leftbrickles,spritepair,[null,2,8]).
a(leftbrickles,rectangle,[null,2,8]).
a(leftbrickles,movablesprite,[null,2,8]).
a(leftbrickles,stationarysprite,[null,3,8]).
a(leftbrickles,size,[null,2,9]).
a(leftbrickles,point,[null,2,9]).
a(leftbrickles,velocity,[or,2,9]).
a(leftbrickles,paddle,[or,2,9]).
a(leftbrickles,puck,[or,2,9]).
a(leftbrickles,bowlingball,[or,2,9]).
a(leftbrickles,bowlingpin,[or,2,9]).
a(leftbrickles,toppaddle,[or,2,10]).
a(leftbrickles,bottompaddle,[or,2,10]).
a(leftbrickles,wall,[or,4,9]).
a(leftbrickles,brick,[null,3,9]).
a(leftbrickles,brickpile,[null,3,9]).
a(leftbrickles,ceilingbrickles,[null,3,9]).
a(leftbrickles,floorbrickles,[null,3,9]).
a(leftbrickles,lane,[null,3,9]).
a(leftbrickles,gutter,[null,3,9]).
a(leftbrickles,edge,[null,3,9]).
a(leftbrickles,endofalley,[null,3,9]).
a(leftbrickles,rackofpins,[null,3,9]).
a(leftbrickles,scoreboard,[null,3,9]).
a(leftbrickles,floorpong,[null,3,9]).
a(leftbrickles,ceilingpong,[null,3,9]).
a(leftbrickles,dividingline,[null,3,9]).
a(leftbrickles,leftpong,[or,4,10]).
a(leftbrickles,rightpont,[or,4,10]).
a(leftbrickles,leftbrickles,[null,5,10]).
a(leftbrickles,rightbrickles,[or,4,10]).
a(leftbrickles,pongboard,[and,1,8]).
a(leftbrickles,bricklesboard,[and,1,8]).
a(leftbrickles,bowlingboard,[and,1,8]).
a(leftbrickles,pong,[and,1,8]).
a(leftbrickles,brickles,[and,1,8]).
a(leftbrickles,bowling,[and,1,8]).
a(leftbrickles,ponggamemenu,[and,1,8]).
a(leftbrickles,bricklesgamemenu,[and,1,8]).
a(leftbrickles,bowlinggamemenu,[and,1,8]).
a(leftbrickles,arcadegame,[and,0,5]).
a(rightbrickles,usecases,[and,0,6]).
a(rightbrickles,classdiagram,[null,1,6]).
a(rightbrickles,checkpreviousbestscore,[and,0,7]).
a(rightbrickles,savescore,[and,0,7]).
a(rightbrickles,savegame,[and,0,7]).
a(rightbrickles,exitgame,[and,0,7]).
a(rightbrickles,installgame,[and,0,7]).
a(rightbrickles,uninstallgame,[and,0,7]).
a(rightbrickles,listgame,[and,0,7]).
a(rightbrickles,playgame,[and,0,7]).
a(rightbrickles,playbrickles,[and,0,8]).
a(rightbrickles,playpong,[and,0,8]).
a(rightbrickles,playbowling,[and,0,8]).
a(rightbrickles,initialization,[and,0,8]).
a(rightbrickles,animationloop,[and,0,9]).
a(rightbrickles,gamesprite,[null,2,7]).
a(rightbrickles,board,[null,1,7]).
a(rightbrickles,menu,[null,1,7]).
a(rightbrickles,gamemenu,[null,1,7]).
a(rightbrickles,pucksupply,[null,1,7]).
a(rightbrickles,spritepair,[null,2,8]).
a(rightbrickles,rectangle,[null,2,8]).
a(rightbrickles,movablesprite,[null,2,8]).
a(rightbrickles,stationarysprite,[null,3,8]).
a(rightbrickles,size,[null,2,9]).
a(rightbrickles,point,[null,2,9]).
a(rightbrickles,velocity,[or,2,9]).
a(rightbrickles,paddle,[or,2,9]).
a(rightbrickles,puck,[or,2,9]).
a(rightbrickles,bowlingball,[or,2,9]).
a(rightbrickles,bowlingpin,[or,2,9]).
a(rightbrickles,toppaddle,[or,2,10]).
a(rightbrickles,bottompaddle,[or,2,10]).
a(rightbrickles,wall,[or,4,9]).
a(rightbrickles,brick,[null,3,9]).
a(rightbrickles,brickpile,[null,3,9]).
a(rightbrickles,ceilingbrickles,[null,3,9]).
a(rightbrickles,floorbrickles,[null,3,9]).
a(rightbrickles,lane,[null,3,9]).
a(rightbrickles,gutter,[null,3,9]).
a(rightbrickles,edge,[null,3,9]).
a(rightbrickles,endofalley,[null,3,9]).
a(rightbrickles,rackofpins,[null,3,9]).
a(rightbrickles,scoreboard,[null,3,9]).
a(rightbrickles,floorpong,[null,3,9]).
a(rightbrickles,ceilingpong,[null,3,9]).
a(rightbrickles,dividingline,[null,3,9]).
a(rightbrickles,leftpong,[or,4,10]).
a(rightbrickles,rightpont,[or,4,10]).
a(rightbrickles,leftbrickles,[or,4,10]).
a(rightbrickles,rightbrickles,[null,5,10]).
a(rightbrickles,pongboard,[and,1,8]).
a(rightbrickles,bricklesboard,[and,1,8]).
a(rightbrickles,bowlingboard,[and,1,8]).
a(rightbrickles,pong,[and,1,8]).
a(rightbrickles,brickles,[and,1,8]).
a(rightbrickles,bowling,[and,1,8]).
a(rightbrickles,ponggamemenu,[and,1,8]).
a(rightbrickles,bricklesgamemenu,[and,1,8]).
a(rightbrickles,bowlinggamemenu,[and,1,8]).
a(rightbrickles,arcadegame,[and,0,5]).
a(pongboard,usecases,[and,0,4]).
a(pongboard,classdiagram,[null,1,4]).
a(pongboard,checkpreviousbestscore,[and,0,5]).
a(pongboard,savescore,[and,0,5]).
a(pongboard,savegame,[and,0,5]).
a(pongboard,exitgame,[and,0,5]).
a(pongboard,installgame,[and,0,5]).
a(pongboard,uninstallgame,[and,0,5]).
a(pongboard,listgame,[and,0,5]).
a(pongboard,playgame,[and,0,5]).
a(pongboard,playbrickles,[and,0,6]).
a(pongboard,playpong,[and,0,6]).
a(pongboard,playbowling,[and,0,6]).
a(pongboard,initialization,[and,0,6]).
a(pongboard,animationloop,[and,0,7]).
a(pongboard,gamesprite,[null,1,5]).
a(pongboard,board,[or,2,5]).
a(pongboard,menu,[null,1,5]).
a(pongboard,gamemenu,[null,1,5]).
a(pongboard,pucksupply,[null,1,5]).
a(pongboard,spritepair,[and,1,6]).
a(pongboard,rectangle,[and,1,6]).
a(pongboard,movablesprite,[and,1,6]).
a(pongboard,stationarysprite,[and,1,6]).
a(pongboard,size,[and,1,7]).
a(pongboard,point,[and,1,7]).
a(pongboard,velocity,[and,1,7]).
a(pongboard,paddle,[and,1,7]).
a(pongboard,puck,[and,1,7]).
a(pongboard,bowlingball,[and,1,7]).
a(pongboard,bowlingpin,[and,1,7]).
a(pongboard,toppaddle,[and,1,8]).
a(pongboard,bottompaddle,[and,1,8]).
a(pongboard,wall,[and,1,7]).
a(pongboard,brick,[and,1,7]).
a(pongboard,brickpile,[and,1,7]).
a(pongboard,ceilingbrickles,[and,1,7]).
a(pongboard,floorbrickles,[and,1,7]).
a(pongboard,lane,[and,1,7]).
a(pongboard,gutter,[and,1,7]).
a(pongboard,edge,[and,1,7]).
a(pongboard,endofalley,[and,1,7]).
a(pongboard,rackofpins,[and,1,7]).
a(pongboard,scoreboard,[and,1,7]).
a(pongboard,floorpong,[and,1,7]).
a(pongboard,ceilingpong,[and,1,7]).
a(pongboard,dividingline,[and,1,7]).
a(pongboard,leftpong,[and,1,8]).
a(pongboard,rightpont,[and,1,8]).
a(pongboard,leftbrickles,[and,1,8]).
a(pongboard,rightbrickles,[and,1,8]).
a(pongboard,pongboard,[null,3,6]).
a(pongboard,bricklesboard,[or,2,6]).
a(pongboard,bowlingboard,[or,2,6]).
a(pongboard,pong,[and,1,6]).
a(pongboard,brickles,[and,1,6]).
a(pongboard,bowling,[and,1,6]).
a(pongboard,ponggamemenu,[and,1,6]).
a(pongboard,bricklesgamemenu,[and,1,6]).
a(pongboard,bowlinggamemenu,[and,1,6]).
a(pongboard,arcadegame,[and,0,3]).
a(bricklesboard,usecases,[and,0,4]).
a(bricklesboard,classdiagram,[null,1,4]).
a(bricklesboard,checkpreviousbestscore,[and,0,5]).
a(bricklesboard,savescore,[and,0,5]).
a(bricklesboard,savegame,[and,0,5]).
a(bricklesboard,exitgame,[and,0,5]).
a(bricklesboard,installgame,[and,0,5]).
a(bricklesboard,uninstallgame,[and,0,5]).
a(bricklesboard,listgame,[and,0,5]).
a(bricklesboard,playgame,[and,0,5]).
a(bricklesboard,playbrickles,[and,0,6]).
a(bricklesboard,playpong,[and,0,6]).
a(bricklesboard,playbowling,[and,0,6]).
a(bricklesboard,initialization,[and,0,6]).
a(bricklesboard,animationloop,[and,0,7]).
a(bricklesboard,gamesprite,[null,1,5]).
a(bricklesboard,board,[or,2,5]).
a(bricklesboard,menu,[null,1,5]).
a(bricklesboard,gamemenu,[null,1,5]).
a(bricklesboard,pucksupply,[null,1,5]).
a(bricklesboard,spritepair,[and,1,6]).
a(bricklesboard,rectangle,[and,1,6]).
a(bricklesboard,movablesprite,[and,1,6]).
a(bricklesboard,stationarysprite,[and,1,6]).
a(bricklesboard,size,[and,1,7]).
a(bricklesboard,point,[and,1,7]).
a(bricklesboard,velocity,[and,1,7]).
a(bricklesboard,paddle,[and,1,7]).
a(bricklesboard,puck,[and,1,7]).
a(bricklesboard,bowlingball,[and,1,7]).
a(bricklesboard,bowlingpin,[and,1,7]).
a(bricklesboard,toppaddle,[and,1,8]).
a(bricklesboard,bottompaddle,[and,1,8]).
a(bricklesboard,wall,[and,1,7]).
a(bricklesboard,brick,[and,1,7]).
a(bricklesboard,brickpile,[and,1,7]).
a(bricklesboard,ceilingbrickles,[and,1,7]).
a(bricklesboard,floorbrickles,[and,1,7]).
a(bricklesboard,lane,[and,1,7]).
a(bricklesboard,gutter,[and,1,7]).
a(bricklesboard,edge,[and,1,7]).
a(bricklesboard,endofalley,[and,1,7]).
a(bricklesboard,rackofpins,[and,1,7]).
a(bricklesboard,scoreboard,[and,1,7]).
a(bricklesboard,floorpong,[and,1,7]).
a(bricklesboard,ceilingpong,[and,1,7]).
a(bricklesboard,dividingline,[and,1,7]).
a(bricklesboard,leftpong,[and,1,8]).
a(bricklesboard,rightpont,[and,1,8]).
a(bricklesboard,leftbrickles,[and,1,8]).
a(bricklesboard,rightbrickles,[and,1,8]).
a(bricklesboard,pongboard,[or,2,6]).
a(bricklesboard,bricklesboard,[null,3,6]).
a(bricklesboard,bowlingboard,[or,2,6]).
a(bricklesboard,pong,[and,1,6]).
a(bricklesboard,brickles,[and,1,6]).
a(bricklesboard,bowling,[and,1,6]).
a(bricklesboard,ponggamemenu,[and,1,6]).
a(bricklesboard,bricklesgamemenu,[and,1,6]).
a(bricklesboard,bowlinggamemenu,[and,1,6]).
a(bricklesboard,arcadegame,[and,0,3]).
a(bowlingboard,usecases,[and,0,4]).
a(bowlingboard,classdiagram,[null,1,4]).
a(bowlingboard,checkpreviousbestscore,[and,0,5]).
a(bowlingboard,savescore,[and,0,5]).
a(bowlingboard,savegame,[and,0,5]).
a(bowlingboard,exitgame,[and,0,5]).
a(bowlingboard,installgame,[and,0,5]).
a(bowlingboard,uninstallgame,[and,0,5]).
a(bowlingboard,listgame,[and,0,5]).
a(bowlingboard,playgame,[and,0,5]).
a(bowlingboard,playbrickles,[and,0,6]).
a(bowlingboard,playpong,[and,0,6]).
a(bowlingboard,playbowling,[and,0,6]).
a(bowlingboard,initialization,[and,0,6]).
a(bowlingboard,animationloop,[and,0,7]).
a(bowlingboard,gamesprite,[null,1,5]).
a(bowlingboard,board,[or,2,5]).
a(bowlingboard,menu,[null,1,5]).
a(bowlingboard,gamemenu,[null,1,5]).
a(bowlingboard,pucksupply,[null,1,5]).
a(bowlingboard,spritepair,[and,1,6]).
a(bowlingboard,rectangle,[and,1,6]).
a(bowlingboard,movablesprite,[and,1,6]).
a(bowlingboard,stationarysprite,[and,1,6]).
a(bowlingboard,size,[and,1,7]).
a(bowlingboard,point,[and,1,7]).
a(bowlingboard,velocity,[and,1,7]).
a(bowlingboard,paddle,[and,1,7]).
a(bowlingboard,puck,[and,1,7]).
a(bowlingboard,bowlingball,[and,1,7]).
a(bowlingboard,bowlingpin,[and,1,7]).
a(bowlingboard,toppaddle,[and,1,8]).
a(bowlingboard,bottompaddle,[and,1,8]).
a(bowlingboard,wall,[and,1,7]).
a(bowlingboard,brick,[and,1,7]).
a(bowlingboard,brickpile,[and,1,7]).
a(bowlingboard,ceilingbrickles,[and,1,7]).
a(bowlingboard,floorbrickles,[and,1,7]).
a(bowlingboard,lane,[and,1,7]).
a(bowlingboard,gutter,[and,1,7]).
a(bowlingboard,edge,[and,1,7]).
a(bowlingboard,endofalley,[and,1,7]).
a(bowlingboard,rackofpins,[and,1,7]).
a(bowlingboard,scoreboard,[and,1,7]).
a(bowlingboard,floorpong,[and,1,7]).
a(bowlingboard,ceilingpong,[and,1,7]).
a(bowlingboard,dividingline,[and,1,7]).
a(bowlingboard,leftpong,[and,1,8]).
a(bowlingboard,rightpont,[and,1,8]).
a(bowlingboard,leftbrickles,[and,1,8]).
a(bowlingboard,rightbrickles,[and,1,8]).
a(bowlingboard,pongboard,[or,2,6]).
a(bowlingboard,bricklesboard,[or,2,6]).
a(bowlingboard,bowlingboard,[null,3,6]).
a(bowlingboard,pong,[and,1,6]).
a(bowlingboard,brickles,[and,1,6]).
a(bowlingboard,bowling,[and,1,6]).
a(bowlingboard,ponggamemenu,[and,1,6]).
a(bowlingboard,bricklesgamemenu,[and,1,6]).
a(bowlingboard,bowlinggamemenu,[and,1,6]).
a(bowlingboard,arcadegame,[and,0,3]).
a(pong,usecases,[and,0,4]).
a(pong,classdiagram,[null,1,4]).
a(pong,checkpreviousbestscore,[and,0,5]).
a(pong,savescore,[and,0,5]).
a(pong,savegame,[and,0,5]).
a(pong,exitgame,[and,0,5]).
a(pong,installgame,[and,0,5]).
a(pong,uninstallgame,[and,0,5]).
a(pong,listgame,[and,0,5]).
a(pong,playgame,[and,0,5]).
a(pong,playbrickles,[and,0,6]).
a(pong,playpong,[and,0,6]).
a(pong,playbowling,[and,0,6]).
a(pong,initialization,[and,0,6]).
a(pong,animationloop,[and,0,7]).
a(pong,gamesprite,[null,1,5]).
a(pong,board,[null,1,5]).
a(pong,menu,[or,2,5]).
a(pong,gamemenu,[null,1,5]).
a(pong,pucksupply,[null,1,5]).
a(pong,spritepair,[and,1,6]).
a(pong,rectangle,[and,1,6]).
a(pong,movablesprite,[and,1,6]).
a(pong,stationarysprite,[and,1,6]).
a(pong,size,[and,1,7]).
a(pong,point,[and,1,7]).
a(pong,velocity,[and,1,7]).
a(pong,paddle,[and,1,7]).
a(pong,puck,[and,1,7]).
a(pong,bowlingball,[and,1,7]).
a(pong,bowlingpin,[and,1,7]).
a(pong,toppaddle,[and,1,8]).
a(pong,bottompaddle,[and,1,8]).
a(pong,wall,[and,1,7]).
a(pong,brick,[and,1,7]).
a(pong,brickpile,[and,1,7]).
a(pong,ceilingbrickles,[and,1,7]).
a(pong,floorbrickles,[and,1,7]).
a(pong,lane,[and,1,7]).
a(pong,gutter,[and,1,7]).
a(pong,edge,[and,1,7]).
a(pong,endofalley,[and,1,7]).
a(pong,rackofpins,[and,1,7]).
a(pong,scoreboard,[and,1,7]).
a(pong,floorpong,[and,1,7]).
a(pong,ceilingpong,[and,1,7]).
a(pong,dividingline,[and,1,7]).
a(pong,leftpong,[and,1,8]).
a(pong,rightpont,[and,1,8]).
a(pong,leftbrickles,[and,1,8]).
a(pong,rightbrickles,[and,1,8]).
a(pong,pongboard,[and,1,6]).
a(pong,bricklesboard,[and,1,6]).
a(pong,bowlingboard,[and,1,6]).
a(pong,pong,[null,3,6]).
a(pong,brickles,[or,2,6]).
a(pong,bowling,[or,2,6]).
a(pong,ponggamemenu,[and,1,6]).
a(pong,bricklesgamemenu,[and,1,6]).
a(pong,bowlinggamemenu,[and,1,6]).
a(pong,arcadegame,[and,0,3]).
a(brickles,usecases,[and,0,4]).
a(brickles,classdiagram,[null,1,4]).
a(brickles,checkpreviousbestscore,[and,0,5]).
a(brickles,savescore,[and,0,5]).
a(brickles,savegame,[and,0,5]).
a(brickles,exitgame,[and,0,5]).
a(brickles,installgame,[and,0,5]).
a(brickles,uninstallgame,[and,0,5]).
a(brickles,listgame,[and,0,5]).
a(brickles,playgame,[and,0,5]).
a(brickles,playbrickles,[and,0,6]).
a(brickles,playpong,[and,0,6]).
a(brickles,playbowling,[and,0,6]).
a(brickles,initialization,[and,0,6]).
a(brickles,animationloop,[and,0,7]).
a(brickles,gamesprite,[null,1,5]).
a(brickles,board,[null,1,5]).
a(brickles,menu,[or,2,5]).
a(brickles,gamemenu,[null,1,5]).
a(brickles,pucksupply,[null,1,5]).
a(brickles,spritepair,[and,1,6]).
a(brickles,rectangle,[and,1,6]).
a(brickles,movablesprite,[and,1,6]).
a(brickles,stationarysprite,[and,1,6]).
a(brickles,size,[and,1,7]).
a(brickles,point,[and,1,7]).
a(brickles,velocity,[and,1,7]).
a(brickles,paddle,[and,1,7]).
a(brickles,puck,[and,1,7]).
a(brickles,bowlingball,[and,1,7]).
a(brickles,bowlingpin,[and,1,7]).
a(brickles,toppaddle,[and,1,8]).
a(brickles,bottompaddle,[and,1,8]).
a(brickles,wall,[and,1,7]).
a(brickles,brick,[and,1,7]).
a(brickles,brickpile,[and,1,7]).
a(brickles,ceilingbrickles,[and,1,7]).
a(brickles,floorbrickles,[and,1,7]).
a(brickles,lane,[and,1,7]).
a(brickles,gutter,[and,1,7]).
a(brickles,edge,[and,1,7]).
a(brickles,endofalley,[and,1,7]).
a(brickles,rackofpins,[and,1,7]).
a(brickles,scoreboard,[and,1,7]).
a(brickles,floorpong,[and,1,7]).
a(brickles,ceilingpong,[and,1,7]).
a(brickles,dividingline,[and,1,7]).
a(brickles,leftpong,[and,1,8]).
a(brickles,rightpont,[and,1,8]).
a(brickles,leftbrickles,[and,1,8]).
a(brickles,rightbrickles,[and,1,8]).
a(brickles,pongboard,[and,1,6]).
a(brickles,bricklesboard,[and,1,6]).
a(brickles,bowlingboard,[and,1,6]).
a(brickles,pong,[or,2,6]).
a(brickles,brickles,[null,3,6]).
a(brickles,bowling,[or,2,6]).
a(brickles,ponggamemenu,[and,1,6]).
a(brickles,bricklesgamemenu,[and,1,6]).
a(brickles,bowlinggamemenu,[and,1,6]).
a(brickles,arcadegame,[and,0,3]).
a(bowling,usecases,[and,0,4]).
a(bowling,classdiagram,[null,1,4]).
a(bowling,checkpreviousbestscore,[and,0,5]).
a(bowling,savescore,[and,0,5]).
a(bowling,savegame,[and,0,5]).
a(bowling,exitgame,[and,0,5]).
a(bowling,installgame,[and,0,5]).
a(bowling,uninstallgame,[and,0,5]).
a(bowling,listgame,[and,0,5]).
a(bowling,playgame,[and,0,5]).
a(bowling,playbrickles,[and,0,6]).
a(bowling,playpong,[and,0,6]).
a(bowling,playbowling,[and,0,6]).
a(bowling,initialization,[and,0,6]).
a(bowling,animationloop,[and,0,7]).
a(bowling,gamesprite,[null,1,5]).
a(bowling,board,[null,1,5]).
a(bowling,menu,[or,2,5]).
a(bowling,gamemenu,[null,1,5]).
a(bowling,pucksupply,[null,1,5]).
a(bowling,spritepair,[and,1,6]).
a(bowling,rectangle,[and,1,6]).
a(bowling,movablesprite,[and,1,6]).
a(bowling,stationarysprite,[and,1,6]).
a(bowling,size,[and,1,7]).
a(bowling,point,[and,1,7]).
a(bowling,velocity,[and,1,7]).
a(bowling,paddle,[and,1,7]).
a(bowling,puck,[and,1,7]).
a(bowling,bowlingball,[and,1,7]).
a(bowling,bowlingpin,[and,1,7]).
a(bowling,toppaddle,[and,1,8]).
a(bowling,bottompaddle,[and,1,8]).
a(bowling,wall,[and,1,7]).
a(bowling,brick,[and,1,7]).
a(bowling,brickpile,[and,1,7]).
a(bowling,ceilingbrickles,[and,1,7]).
a(bowling,floorbrickles,[and,1,7]).
a(bowling,lane,[and,1,7]).
a(bowling,gutter,[and,1,7]).
a(bowling,edge,[and,1,7]).
a(bowling,endofalley,[and,1,7]).
a(bowling,rackofpins,[and,1,7]).
a(bowling,scoreboard,[and,1,7]).
a(bowling,floorpong,[and,1,7]).
a(bowling,ceilingpong,[and,1,7]).
a(bowling,dividingline,[and,1,7]).
a(bowling,leftpong,[and,1,8]).
a(bowling,rightpont,[and,1,8]).
a(bowling,leftbrickles,[and,1,8]).
a(bowling,rightbrickles,[and,1,8]).
a(bowling,pongboard,[and,1,6]).
a(bowling,bricklesboard,[and,1,6]).
a(bowling,bowlingboard,[and,1,6]).
a(bowling,pong,[or,2,6]).
a(bowling,brickles,[or,2,6]).
a(bowling,bowling,[null,3,6]).
a(bowling,ponggamemenu,[and,1,6]).
a(bowling,bricklesgamemenu,[and,1,6]).
a(bowling,bowlinggamemenu,[and,1,6]).
a(bowling,arcadegame,[and,0,3]).
a(ponggamemenu,usecases,[and,0,4]).
a(ponggamemenu,classdiagram,[null,1,4]).
a(ponggamemenu,checkpreviousbestscore,[and,0,5]).
a(ponggamemenu,savescore,[and,0,5]).
a(ponggamemenu,savegame,[and,0,5]).
a(ponggamemenu,exitgame,[and,0,5]).
a(ponggamemenu,installgame,[and,0,5]).
a(ponggamemenu,uninstallgame,[and,0,5]).
a(ponggamemenu,listgame,[and,0,5]).
a(ponggamemenu,playgame,[and,0,5]).
a(ponggamemenu,playbrickles,[and,0,6]).
a(ponggamemenu,playpong,[and,0,6]).
a(ponggamemenu,playbowling,[and,0,6]).
a(ponggamemenu,initialization,[and,0,6]).
a(ponggamemenu,animationloop,[and,0,7]).
a(ponggamemenu,gamesprite,[null,1,5]).
a(ponggamemenu,board,[null,1,5]).
a(ponggamemenu,menu,[null,1,5]).
a(ponggamemenu,gamemenu,[or,2,5]).
a(ponggamemenu,pucksupply,[null,1,5]).
a(ponggamemenu,spritepair,[and,1,6]).
a(ponggamemenu,rectangle,[and,1,6]).
a(ponggamemenu,movablesprite,[and,1,6]).
a(ponggamemenu,stationarysprite,[and,1,6]).
a(ponggamemenu,size,[and,1,7]).
a(ponggamemenu,point,[and,1,7]).
a(ponggamemenu,velocity,[and,1,7]).
a(ponggamemenu,paddle,[and,1,7]).
a(ponggamemenu,puck,[and,1,7]).
a(ponggamemenu,bowlingball,[and,1,7]).
a(ponggamemenu,bowlingpin,[and,1,7]).
a(ponggamemenu,toppaddle,[and,1,8]).
a(ponggamemenu,bottompaddle,[and,1,8]).
a(ponggamemenu,wall,[and,1,7]).
a(ponggamemenu,brick,[and,1,7]).
a(ponggamemenu,brickpile,[and,1,7]).
a(ponggamemenu,ceilingbrickles,[and,1,7]).
a(ponggamemenu,floorbrickles,[and,1,7]).
a(ponggamemenu,lane,[and,1,7]).
a(ponggamemenu,gutter,[and,1,7]).
a(ponggamemenu,edge,[and,1,7]).
a(ponggamemenu,endofalley,[and,1,7]).
a(ponggamemenu,rackofpins,[and,1,7]).
a(ponggamemenu,scoreboard,[and,1,7]).
a(ponggamemenu,floorpong,[and,1,7]).
a(ponggamemenu,ceilingpong,[and,1,7]).
a(ponggamemenu,dividingline,[and,1,7]).
a(ponggamemenu,leftpong,[and,1,8]).
a(ponggamemenu,rightpont,[and,1,8]).
a(ponggamemenu,leftbrickles,[and,1,8]).
a(ponggamemenu,rightbrickles,[and,1,8]).
a(ponggamemenu,pongboard,[and,1,6]).
a(ponggamemenu,bricklesboard,[and,1,6]).
a(ponggamemenu,bowlingboard,[and,1,6]).
a(ponggamemenu,pong,[and,1,6]).
a(ponggamemenu,brickles,[and,1,6]).
a(ponggamemenu,bowling,[and,1,6]).
a(ponggamemenu,ponggamemenu,[null,3,6]).
a(ponggamemenu,bricklesgamemenu,[or,2,6]).
a(ponggamemenu,bowlinggamemenu,[or,2,6]).
a(ponggamemenu,arcadegame,[and,0,3]).
a(bricklesgamemenu,usecases,[and,0,4]).
a(bricklesgamemenu,classdiagram,[null,1,4]).
a(bricklesgamemenu,checkpreviousbestscore,[and,0,5]).
a(bricklesgamemenu,savescore,[and,0,5]).
a(bricklesgamemenu,savegame,[and,0,5]).
a(bricklesgamemenu,exitgame,[and,0,5]).
a(bricklesgamemenu,installgame,[and,0,5]).
a(bricklesgamemenu,uninstallgame,[and,0,5]).
a(bricklesgamemenu,listgame,[and,0,5]).
a(bricklesgamemenu,playgame,[and,0,5]).
a(bricklesgamemenu,playbrickles,[and,0,6]).
a(bricklesgamemenu,playpong,[and,0,6]).
a(bricklesgamemenu,playbowling,[and,0,6]).
a(bricklesgamemenu,initialization,[and,0,6]).
a(bricklesgamemenu,animationloop,[and,0,7]).
a(bricklesgamemenu,gamesprite,[null,1,5]).
a(bricklesgamemenu,board,[null,1,5]).
a(bricklesgamemenu,menu,[null,1,5]).
a(bricklesgamemenu,gamemenu,[or,2,5]).
a(bricklesgamemenu,pucksupply,[null,1,5]).
a(bricklesgamemenu,spritepair,[and,1,6]).
a(bricklesgamemenu,rectangle,[and,1,6]).
a(bricklesgamemenu,movablesprite,[and,1,6]).
a(bricklesgamemenu,stationarysprite,[and,1,6]).
a(bricklesgamemenu,size,[and,1,7]).
a(bricklesgamemenu,point,[and,1,7]).
a(bricklesgamemenu,velocity,[and,1,7]).
a(bricklesgamemenu,paddle,[and,1,7]).
a(bricklesgamemenu,puck,[and,1,7]).
a(bricklesgamemenu,bowlingball,[and,1,7]).
a(bricklesgamemenu,bowlingpin,[and,1,7]).
a(bricklesgamemenu,toppaddle,[and,1,8]).
a(bricklesgamemenu,bottompaddle,[and,1,8]).
a(bricklesgamemenu,wall,[and,1,7]).
a(bricklesgamemenu,brick,[and,1,7]).
a(bricklesgamemenu,brickpile,[and,1,7]).
a(bricklesgamemenu,ceilingbrickles,[and,1,7]).
a(bricklesgamemenu,floorbrickles,[and,1,7]).
a(bricklesgamemenu,lane,[and,1,7]).
a(bricklesgamemenu,gutter,[and,1,7]).
a(bricklesgamemenu,edge,[and,1,7]).
a(bricklesgamemenu,endofalley,[and,1,7]).
a(bricklesgamemenu,rackofpins,[and,1,7]).
a(bricklesgamemenu,scoreboard,[and,1,7]).
a(bricklesgamemenu,floorpong,[and,1,7]).
a(bricklesgamemenu,ceilingpong,[and,1,7]).
a(bricklesgamemenu,dividingline,[and,1,7]).
a(bricklesgamemenu,leftpong,[and,1,8]).
a(bricklesgamemenu,rightpont,[and,1,8]).
a(bricklesgamemenu,leftbrickles,[and,1,8]).
a(bricklesgamemenu,rightbrickles,[and,1,8]).
a(bricklesgamemenu,pongboard,[and,1,6]).
a(bricklesgamemenu,bricklesboard,[and,1,6]).
a(bricklesgamemenu,bowlingboard,[and,1,6]).
a(bricklesgamemenu,pong,[and,1,6]).
a(bricklesgamemenu,brickles,[and,1,6]).
a(bricklesgamemenu,bowling,[and,1,6]).
a(bricklesgamemenu,ponggamemenu,[or,2,6]).
a(bricklesgamemenu,bricklesgamemenu,[null,3,6]).
a(bricklesgamemenu,bowlinggamemenu,[or,2,6]).
a(bricklesgamemenu,arcadegame,[and,0,3]).
a(bowlinggamemenu,usecases,[and,0,4]).
a(bowlinggamemenu,classdiagram,[null,1,4]).
a(bowlinggamemenu,checkpreviousbestscore,[and,0,5]).
a(bowlinggamemenu,savescore,[and,0,5]).
a(bowlinggamemenu,savegame,[and,0,5]).
a(bowlinggamemenu,exitgame,[and,0,5]).
a(bowlinggamemenu,installgame,[and,0,5]).
a(bowlinggamemenu,uninstallgame,[and,0,5]).
a(bowlinggamemenu,listgame,[and,0,5]).
a(bowlinggamemenu,playgame,[and,0,5]).
a(bowlinggamemenu,playbrickles,[and,0,6]).
a(bowlinggamemenu,playpong,[and,0,6]).
a(bowlinggamemenu,playbowling,[and,0,6]).
a(bowlinggamemenu,initialization,[and,0,6]).
a(bowlinggamemenu,animationloop,[and,0,7]).
a(bowlinggamemenu,gamesprite,[null,1,5]).
a(bowlinggamemenu,board,[null,1,5]).
a(bowlinggamemenu,menu,[null,1,5]).
a(bowlinggamemenu,gamemenu,[or,2,5]).
a(bowlinggamemenu,pucksupply,[null,1,5]).
a(bowlinggamemenu,spritepair,[and,1,6]).
a(bowlinggamemenu,rectangle,[and,1,6]).
a(bowlinggamemenu,movablesprite,[and,1,6]).
a(bowlinggamemenu,stationarysprite,[and,1,6]).
a(bowlinggamemenu,size,[and,1,7]).
a(bowlinggamemenu,point,[and,1,7]).
a(bowlinggamemenu,velocity,[and,1,7]).
a(bowlinggamemenu,paddle,[and,1,7]).
a(bowlinggamemenu,puck,[and,1,7]).
a(bowlinggamemenu,bowlingball,[and,1,7]).
a(bowlinggamemenu,bowlingpin,[and,1,7]).
a(bowlinggamemenu,toppaddle,[and,1,8]).
a(bowlinggamemenu,bottompaddle,[and,1,8]).
a(bowlinggamemenu,wall,[and,1,7]).
a(bowlinggamemenu,brick,[and,1,7]).
a(bowlinggamemenu,brickpile,[and,1,7]).
a(bowlinggamemenu,ceilingbrickles,[and,1,7]).
a(bowlinggamemenu,floorbrickles,[and,1,7]).
a(bowlinggamemenu,lane,[and,1,7]).
a(bowlinggamemenu,gutter,[and,1,7]).
a(bowlinggamemenu,edge,[and,1,7]).
a(bowlinggamemenu,endofalley,[and,1,7]).
a(bowlinggamemenu,rackofpins,[and,1,7]).
a(bowlinggamemenu,scoreboard,[and,1,7]).
a(bowlinggamemenu,floorpong,[and,1,7]).
a(bowlinggamemenu,ceilingpong,[and,1,7]).
a(bowlinggamemenu,dividingline,[and,1,7]).
a(bowlinggamemenu,leftpong,[and,1,8]).
a(bowlinggamemenu,rightpont,[and,1,8]).
a(bowlinggamemenu,leftbrickles,[and,1,8]).
a(bowlinggamemenu,rightbrickles,[and,1,8]).
a(bowlinggamemenu,pongboard,[and,1,6]).
a(bowlinggamemenu,bricklesboard,[and,1,6]).
a(bowlinggamemenu,bowlingboard,[and,1,6]).
a(bowlinggamemenu,pong,[and,1,6]).
a(bowlinggamemenu,brickles,[and,1,6]).
a(bowlinggamemenu,bowling,[and,1,6]).
a(bowlinggamemenu,ponggamemenu,[or,2,6]).
a(bowlinggamemenu,bricklesgamemenu,[or,2,6]).
a(bowlinggamemenu,bowlinggamemenu,[null,3,6]).
a(bowlinggamemenu,arcadegame,[and,0,3]).
a(arcadegame,usecases,[and,0,1]).
a(arcadegame,classdiagram,[and,0,1]).
a(arcadegame,checkpreviousbestscore,[and,0,2]).
a(arcadegame,savescore,[and,0,2]).
a(arcadegame,savegame,[and,0,2]).
a(arcadegame,exitgame,[and,0,2]).
a(arcadegame,installgame,[and,0,2]).
a(arcadegame,uninstallgame,[and,0,2]).
a(arcadegame,listgame,[and,0,2]).
a(arcadegame,playgame,[and,0,2]).
a(arcadegame,playbrickles,[and,0,3]).
a(arcadegame,playpong,[and,0,3]).
a(arcadegame,playbowling,[and,0,3]).
a(arcadegame,initialization,[and,0,3]).
a(arcadegame,animationloop,[and,0,4]).
a(arcadegame,gamesprite,[and,0,2]).
a(arcadegame,board,[and,0,2]).
a(arcadegame,menu,[and,0,2]).
a(arcadegame,gamemenu,[and,0,2]).
a(arcadegame,pucksupply,[and,0,2]).
a(arcadegame,spritepair,[and,0,3]).
a(arcadegame,rectangle,[and,0,3]).
a(arcadegame,movablesprite,[and,0,3]).
a(arcadegame,stationarysprite,[and,0,3]).
a(arcadegame,size,[and,0,4]).
a(arcadegame,point,[and,0,4]).
a(arcadegame,velocity,[and,0,4]).
a(arcadegame,paddle,[and,0,4]).
a(arcadegame,puck,[and,0,4]).
a(arcadegame,bowlingball,[and,0,4]).
a(arcadegame,bowlingpin,[and,0,4]).
a(arcadegame,toppaddle,[and,0,5]).
a(arcadegame,bottompaddle,[and,0,5]).
a(arcadegame,wall,[and,0,4]).
a(arcadegame,brick,[and,0,4]).
a(arcadegame,brickpile,[and,0,4]).
a(arcadegame,ceilingbrickles,[and,0,4]).
a(arcadegame,floorbrickles,[and,0,4]).
a(arcadegame,lane,[and,0,4]).
a(arcadegame,gutter,[and,0,4]).
a(arcadegame,edge,[and,0,4]).
a(arcadegame,endofalley,[and,0,4]).
a(arcadegame,rackofpins,[and,0,4]).
a(arcadegame,scoreboard,[and,0,4]).
a(arcadegame,floorpong,[and,0,4]).
a(arcadegame,ceilingpong,[and,0,4]).
a(arcadegame,dividingline,[and,0,4]).
a(arcadegame,leftpong,[and,0,5]).
a(arcadegame,rightpont,[and,0,5]).
a(arcadegame,leftbrickles,[and,0,5]).
a(arcadegame,rightbrickles,[and,0,5]).
a(arcadegame,pongboard,[and,0,3]).
a(arcadegame,bricklesboard,[and,0,3]).
a(arcadegame,bowlingboard,[and,0,3]).
a(arcadegame,pong,[and,0,3]).
a(arcadegame,brickles,[and,0,3]).
a(arcadegame,bowling,[and,0,3]).
a(arcadegame,ponggamemenu,[and,0,3]).
a(arcadegame,bricklesgamemenu,[and,0,3]).
a(arcadegame,bowlinggamemenu,[and,0,3]).
a(arcadegame,arcadegame,[and,0,0]).

test :-LstFt =[USECASES,CLASSDIAGRAM,CHECKPREVIOUSBESTSCORE,SAVESCORE,SAVEGAME,EXITGAME,INSTALLGAME,UNINSTALLGAME,LISTGAME,PLAYGAME,PLAYBRICKLES,PLAYPONG,PLAYBOWLING,INITIALIZATION,ANIMATIONLOOP,GAMESPRITE,BOARD,MENU,GAMEMENU,PUCKSUPPLY,SPRITEPAIR,RECTANGLE,MOVABLESPRITE,STATIONARYSPRITE,SIZE,POINT,VELOCITY,PADDLE,PUCK,BOWLINGBALL,BOWLINGPIN,TOPPADDLE,BOTTOMPADDLE,WALL,BRICK,BRICKPILE,CEILINGBRICKLES,FLOORBRICKLES,LANE,GUTTER,EDGE,ENDOFALLEY,RACKOFPINS,SCOREBOARD,FLOORPONG,CEILINGPONG,DIVIDINGLINE,LEFTPONG,RIGHTPONT,LEFTBRICKLES,RIGHTBRICKLES,PONGBOARD,BRICKLESBOARD,BOWLINGBOARD,PONG,BRICKLES,BOWLING,PONGGAMEMENU,BRICKLESGAMEMENU,BOWLINGGAMEMENU,ARCADEGAME],
 Ctr =[opt(USECASES,[CHECKPREVIOUSBESTSCORE,SAVESCORE]),or(PLAYGAME,[PLAYBRICKLES,PLAYPONG,PLAYBOWLING]),and(INITIALIZATION,[ANIMATIONLOOP]),and(PLAYGAME,[INITIALIZATION]),and(USECASES,[SAVEGAME,EXITGAME,INSTALLGAME,UNINSTALLGAME,LISTGAME,PLAYGAME]),opt(GAMESPRITE,[SPRITEPAIR]),and(RECTANGLE,[SIZE,POINT]),and(GAMESPRITE,[RECTANGLE]),and(MOVABLESPRITE,[VELOCITY]),or(PADDLE,[TOPPADDLE,BOTTOMPADDLE]),or(MOVABLESPRITE,[PADDLE,PUCK,BOWLINGBALL,BOWLINGPIN]),or(WALL,[LEFTPONG,RIGHTPONT,LEFTBRICKLES,RIGHTBRICKLES]),opt(STATIONARYSPRITE,[WALL]),or(STATIONARYSPRITE,[BRICK,BRICKPILE,CEILINGBRICKLES,FLOORBRICKLES,LANE,GUTTER,EDGE,ENDOFALLEY,RACKOFPINS,SCOREBOARD,FLOORPONG,CEILINGPONG,DIVIDINGLINE]),or(GAMESPRITE,[MOVABLESPRITE,STATIONARYSPRITE]),or(BOARD,[PONGBOARD,BRICKLESBOARD,BOWLINGBOARD]),or(MENU,[PONG,BRICKLES,BOWLING]),or(GAMEMENU,[PONGGAMEMENU,BRICKLESGAMEMENU,BOWLINGGAMEMENU]),and(CLASSDIAGRAM,[GAMESPRITE,BOARD,MENU,GAMEMENU]),opt(CLASSDIAGRAM,[PUCKSUPPLY]),and(ARCADEGAME,[USECASES,CLASSDIAGRAM]),require(PLAYBRICKLES,BRICKLES),require(BRICKLES,PLAYBRICKLES),require(PLAYPONG,PONG),require(PONG,PLAYPONG),require(PLAYBOWLING,BOWLING),require(BOWLING,PLAYBOWLING),require(TOPPADDLE,PONG),require(BOTTOMPADDLE,PONG),require(LEFTPONG,PONG),require(RIGHTPONT,PONG),require(SCOREBOARD,PONG),require(FLOORPONG,PONG),require(CEILINGPONG,PONG),require(DIVIDINGLINE,PONG),require(PONGBOARD,PONG),require(PONGGAMEMENU,PONG),require(BOWLINGBOARD,BOWLING),require(BOWLINGBALL,BOWLING),require(BOWLINGPIN,BOWLING),require(LANE,BOWLING),require(GUTTER,BOWLING),require(EDGE,BOWLING),require(ENDOFALLEY,BOWLING),require(RACKOFPINS,BOWLING),require(BOWLINGGAMEMENU,BOWLING),require(BRICKLESGAMEMENU,BRICKLES),require(BRICKLESBOARD,BRICKLES),require(LEFTBRICKLES,BRICKLES),require(RIGHTBRICKLES,BRICKLES),require(BRICKPILE,BRICKLES),require(BRICK,BRICKLES),require(CEILINGBRICKLES,BRICKLES),require(FLOORBRICKLES,BRICKLES),require(PUCKSUPPLY,BRICKLES)],
  Att = [put_atts(USECASES ,ftAttr(usecases,_)),
put_atts(CLASSDIAGRAM ,ftAttr(classdiagram,_)),
put_atts(CHECKPREVIOUSBESTSCORE ,ftAttr(checkpreviousbestscore,_)),
put_atts(SAVESCORE ,ftAttr(savescore,_)),
put_atts(SAVEGAME ,ftAttr(savegame,_)),
put_atts(EXITGAME ,ftAttr(exitgame,_)),
put_atts(INSTALLGAME ,ftAttr(installgame,_)),
put_atts(UNINSTALLGAME ,ftAttr(uninstallgame,_)),
put_atts(LISTGAME ,ftAttr(listgame,_)),
put_atts(PLAYGAME ,ftAttr(playgame,_)),
put_atts(PLAYBRICKLES ,ftAttr(playbrickles,_)),
put_atts(PLAYPONG ,ftAttr(playpong,_)),
put_atts(PLAYBOWLING ,ftAttr(playbowling,_)),
put_atts(INITIALIZATION ,ftAttr(initialization,_)),
put_atts(ANIMATIONLOOP ,ftAttr(animationloop,_)),
put_atts(GAMESPRITE ,ftAttr(gamesprite,_)),
put_atts(BOARD ,ftAttr(board,_)),
put_atts(MENU ,ftAttr(menu,_)),
put_atts(GAMEMENU ,ftAttr(gamemenu,_)),
put_atts(PUCKSUPPLY ,ftAttr(pucksupply,_)),
put_atts(SPRITEPAIR ,ftAttr(spritepair,_)),
put_atts(RECTANGLE ,ftAttr(rectangle,_)),
put_atts(MOVABLESPRITE ,ftAttr(movablesprite,_)),
put_atts(STATIONARYSPRITE ,ftAttr(stationarysprite,_)),
put_atts(SIZE ,ftAttr(size,_)),
put_atts(POINT ,ftAttr(point,_)),
put_atts(VELOCITY ,ftAttr(velocity,_)),
put_atts(PADDLE ,ftAttr(paddle,_)),
put_atts(PUCK ,ftAttr(puck,_)),
put_atts(BOWLINGBALL ,ftAttr(bowlingball,_)),
put_atts(BOWLINGPIN ,ftAttr(bowlingpin,_)),
put_atts(TOPPADDLE ,ftAttr(toppaddle,_)),
put_atts(BOTTOMPADDLE ,ftAttr(bottompaddle,_)),
put_atts(WALL ,ftAttr(wall,_)),
put_atts(BRICK ,ftAttr(brick,_)),
put_atts(BRICKPILE ,ftAttr(brickpile,_)),
put_atts(CEILINGBRICKLES ,ftAttr(ceilingbrickles,_)),
put_atts(FLOORBRICKLES ,ftAttr(floorbrickles,_)),
put_atts(LANE ,ftAttr(lane,_)),
put_atts(GUTTER ,ftAttr(gutter,_)),
put_atts(EDGE ,ftAttr(edge,_)),
put_atts(ENDOFALLEY ,ftAttr(endofalley,_)),
put_atts(RACKOFPINS ,ftAttr(rackofpins,_)),
put_atts(SCOREBOARD ,ftAttr(scoreboard,_)),
put_atts(FLOORPONG ,ftAttr(floorpong,_)),
put_atts(CEILINGPONG ,ftAttr(ceilingpong,_)),
put_atts(DIVIDINGLINE ,ftAttr(dividingline,_)),
put_atts(LEFTPONG ,ftAttr(leftpong,_)),
put_atts(RIGHTPONT ,ftAttr(rightpont,_)),
put_atts(LEFTBRICKLES ,ftAttr(leftbrickles,_)),
put_atts(RIGHTBRICKLES ,ftAttr(rightbrickles,_)),
put_atts(PONGBOARD ,ftAttr(pongboard,_)),
put_atts(BRICKLESBOARD ,ftAttr(bricklesboard,_)),
put_atts(BOWLINGBOARD ,ftAttr(bowlingboard,_)),
put_atts(PONG ,ftAttr(pong,_)),
put_atts(BRICKLES ,ftAttr(brickles,_)),
put_atts(BOWLING ,ftAttr(bowling,_)),
put_atts(PONGGAMEMENU ,ftAttr(ponggamemenu,_)),
put_atts(BRICKLESGAMEMENU ,ftAttr(bricklesgamemenu,_)),
put_atts(BOWLINGGAMEMENU ,ftAttr(bowlinggamemenu,_)),
put_atts(ARCADEGAME ,ftAttr(arcadegame,0))
],
callRec(Att),
borneRec(LstFt),
callRec(Ctr),
length(LstFt,SizeMat),
matrice(M,SizeMat,50),
limitMatrix(M,LstFt),
pairwiseGenerator(LstFt,M,PWCTRLST,RANKLST),callRec(PWCTRLST),  
contrainteFDV2(M,LstFt,Ctr,Res),
callRec(Res),
alldiffrec(RANKLST),
flatten(RANKLST,Ilist),  
write(Ilist),
my_sort(Ilist,LLL),
domain(Ilist,1,50),
maximum(K,Ilist),

length(Ilist,Nbpaire),
writeln(Nbpaire),
labeling([ff],LLL),
writeln(K).
